Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 211 / 2 / b

Under the standard local martingale definition, $X_0$ is integrable. For a nonnegative $X$, the Fatou lemma and a localizing sequence giveHence every $X_t$ is integrable, and part (a) applies. Therefore a nonnegative discrete-time local martingale is a true martingale. This is stronger than the continuous-time supermartingale conclusion.