Supermartingale (source code)

= Supermartingale
{wiki}

An integrable adapted process $(V_n)$ is a supermartingale when $\mathbb E[V_{n+1}\mid\mathcal F_n]\leq V_n$.