Past exam of the mathematics course of the University of Cambridge / 2025 / iii / Paper 201 / 4 / a / ii / Solution

For a nonnegative supermartingale, $X_n^{-}=0$, so the hypothesis of part (i) holds. Its almost-sure limit is finite.