 Doob upcrossing inequality

If $(M_n)$ is a martingale and $U_N[a,b]$ counts its completed upcrossings of $[a,b]$ by time $N$, thenEquivalent conventions may add an initial endpoint term.