https://9dok.net/document/qo51mopj-martingale-convergence-theorem.html