Doob's upcrossing inequality
Redirect to:
Doob's martingale convergence theorems#Doob's upcrossing inequality