WikiMini

Doob's upcrossing inequality