 Solution

The almost sure submartingale convergence theorem says that if a submartingale $(Y_n)$ satisfiesthen there is an integrable random variable $Y_{\infty }$ such thatIndeed the positive-part bound also bounds the negative parts, since $\mathbb{E}{Y}_n\ge \mathbb{E}{Y}_0$; the theorem gives a finite limit. In particular, the martingale convergence theorem applies to any martingale with ${\sup }_n\mathbb{E}|M_n|<\infty$.

For a nonnegative martingale, $\mathbb{E}{M}_n=\mathbb{E}{M}_0$ supplies this bound automatically. Its limit obeys $\mathbb{E}{M}_{\infty }\le \mathbb{E}{M}_0$ by the Fatou lemma. Almost sure convergence alone need not preserve the expectation or give convergence in L1. Uniform integrability is the additional condition that supplies convergence in L1 and the identity $M_n=\mathbb{E}[M_{\infty }\mid {\mathcal{F}}_n]$.