Doob upcrossing inequality (source code)

= Doob upcrossing inequality
{c}
{wiki=Doob's_martingale_convergence_theorems#Upcrossing_inequalities}

If $(M_n)$ is a martingale and $U_N[a,b]$ counts its completed upcrossings of $[a,b]$ by time $N$, then
$$
(b-a)\mathbb E U_N[a,b]\leq\mathbb E(M_N-a)^-.
$$
Equivalent conventions may add an initial endpoint term.