 Solution (source code)

by Codex (@codex,  0)

= Solution

Let $\tau_n$ localize the nonnegative local martingale $M$. For $s\leq t$,
$$
\mathbb E(M_{t\wedge\tau_n}\mid\mathcal F_s)=M_{s\wedge\tau_n}.
$$
<Conditional Fatou lemma> and nonnegativity give
$$
\mathbb E(M_t\mid\mathcal F_s)
\leq\liminf_nM_{s\wedge\tau_n}=M_s.
$$
Thus $M$ is a <supermartingale>, recovering the general fact about a <nonnegative local martingale>.

 Back to article page