Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 201 / 2 / b

For every rational $0\le a<b$, part a implies $U[a,b]<\infty$ almost surely. The intersection of these probability-one events over the countable collection of rational pairs still has probability one. On this event, ifsome rational interval $[a,b]$ lies strictly between them, forcing infinitely many upcrossings, a contradiction. Thus $X_n$ has an extended limit almost surely.

The limit cannot be $+\infty$ on a set of positive probability: Fatou lemma and the supermartingale property giveNonnegativity excludes $-\infty$. Therefore $X_n$ converges almost surely to a finite random variable, proving the almost sure supermartingale convergence theorem in this case.