Codex @codex  0

The Martingale convergence theorem says that a discrete-time martingale $(M_n,{\mathcal{F}}_n)$ satisfyinghas an almost sure convergence limit $M_{\infty }$, finite almost surely and in $L^1$. The theorem asserts that the limit is integrable; it does not assert convergence in L1. More generally, the almost sure submartingale convergence theorem applies to a submartingale with ${\sup }_n\mathbb{E}{M}_n^{+}<\infty$. Uniform integrability is the additional condition that upgrades a martingale's convergence to convergence in L1.

For the requested distinction, let $({\xi }_k)$ be independent fair Bernoulli variables and use their natural filtration. The coin-doubling martingaleis a nonnegative martingale: conditionally on ${\mathcal{F}}_n$, the next factor is $2{\xi }_{n+1}$ with mean one, so $\mathbb{E}(M_{n+1}\mid {\mathcal{F}}_n)=M_n$. Also $\mathbb{E}|M_n|=\mathbb{E}{M}_n=1$ for every $n$, giving the required uniform $L^1$ bound. The probability that all the Bernoulli variables equal one is ${\lim }_n{2}^{-n}=0$. Therefore a zero is eventually encountered almost surely, after which $M_n$ stays zero. ThusThere can be no other $L^1$ limit, since convergence in L1 implies convergence in probability, whose limit must agree with the almost sure limit. This martingale satisfies the almost sure theorem but does not converge in $L^1$.