Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 39 / 4 / a

Backward induction makes the Snell envelope integrable and adapted: $|U_t|\le |Y_t|+\mathbb{E}(|U_{t+1}|\mid {\mathcal{F}}_t)$. Its definition gives $U_t\ge Y_t$ and $U_t\ge \mathbb{E}(U_{t+1}\mid {\mathcal{F}}_t)$, so it is a supermartingale dominating the reward.

For a stopping time $\tau$ taking values in $\{0,\dots ,T\}$, expand its stopped value asThe indicators are ${\mathcal{F}}_t$-measurable. Taking conditional expectations in each summand makes its expectation nonpositive by the supermartingale property. Since ${\mathcal{F}}_0$ is trivial, $U_0$ is deterministic andThis proves the finite-horizon optional sampling theorem directly in the instance needed here, without assuming nonnegative rewards.