Doob's martingale inequality