Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 201 / 2 / c / Solution

Pointwise, an integer-valued nonnegative random variable has the representationwhen $T=k$, exactly the terms $n=0,\dots ,k-1$ equal one. Applying the Tonelli theorem, or the monotone convergence theorem to the finite sums of indicator random variables, gives the tail-sum formula for expectationBoth sides may be infinite; no integrability assumption is necessary.