 Supermartingale majorant bound

If a supermartingale $V$ dominates an adapted reward process $Z$, optional sampling gives $\mathbb{E}{Z}_{\tau }\le V_0$ for every bounded stopping time $\tau$.