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 holding rate infinitely often, the sum of its independent positive holding times at that state diverges almost surely, preventing explosion.