Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 202 / 3 / a / Solution

For a continuous local martingale $M$ with $M_0=0$, its stochastic exponential isThe Itô formula gives $d\mathcal{E}(M{)}_t=\mathcal{E}(M{)}_{t}d{M}_t$, so $\mathcal{E}(M)$ is a positive continuous local martingale. Every nonnegative local martingale is a supermartingale, because localization and the Conditional Fatou lemma turn the localized martingale equality into the supermartingale inequality.