 Integrable overshoot of a stopped L1-bounded martingale

For an integrable discrete-time martingale, stop at the first time $|f_n|\ge N$. For any deterministic $m$, conditioning the terminal value $f_m$ on each event $\{\tau =j\}$ gives $\mathbb{E}|f_{\tau \wedge m}|\le \mathbb{E}|f_m|$. Monotone convergence theorem therefore proves the displayed overshoot bound. The maximum of the stopped martingale is at most $N\vee |f_{\tau }|1_{\{\tau <\infty \}}$, an integrable variable. This permits a convergence proof without assuming bounded overshoots.