Explosion by summable holding times (source code)

= Explosion by summable holding times

Conditional on a jump path $(Y_n)$, if $\sum_n1/q_{Y_n}<\infty$, then the sum of exponential holding times has finite expectation and is finite almost surely.