Nonexplosion from recurrent visits to a slow state (source code)

= Nonexplosion from recurrent visits to a slow state

If the <jump chain> visits a state of finite positive <holding rate of a continuous-time Markov chain>[holding rate] infinitely often, the sum of its <independent> positive <holding time>[holding times] at that state diverges <almost surely>, preventing <explosion of a continuous-time Markov chain>[explosion].