Doob's Martingale Inequality