 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.