Doob's optional stopping theorem