Dive deeper into Optional stopping theorem
New Tab