Doob's upcrossing inequality