Solution (source code)

= Solution

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