 Solution

The optional stopping theorem for a right-continuous martingale $M$ on a filtered probability space satisfying the usual conditions for a filtration states that, for bounded stopping times $\sigma \le \tau$,For a submartingale the conditional equality becomes $\mathbb{E}[M_{\tau }\mid {\mathcal{F}}_{\sigma }]\ge M_{\sigma }$, and for a supermartingale it becomes the reverse inequality.

For a uniformly integrable martingale, boundedness of the stopping times can be removed, with the terminal limit used if a stopping time is infinite. A useful application is to a bounded stopped martingale $M_{t\wedge \tau }$ with $\tau <\infty$ almost surely: apply the bounded-time theorem first and then the bounded convergence theorem to obtain $\mathbb{E}{M}_{\tau }=\mathbb{E}{M}_0$. Finiteness of $\tau$ alone is not a sufficient hypothesis for an arbitrary martingale.