Doob's Upcrossing Inequality