https://www.dict.cc/english-german/martingale+convergence+theorems.html