COM-417: Lecture 12.3

41, COM-417 Advanced Probability and Applications

The optional stopping theorem, with a proof