Optional sampling theorem for a supermartingale (source code)

= Optional sampling theorem for a supermartingale

= Optional stopping
{synonym}

= Optional sampling
{synonym}

= Optional sampling theorem
{synonym}

= Optional stopping theorem
{synonym}

For bounded stopping times $\sigma\leq\tau$, a supermartingale satisfies $\mathbb E[V_\tau\mid\mathcal F_\sigma]\leq V_\sigma$; equality holds for a martingale.