47.9 Martingale

https://en.wikipedia.org/wiki/Martingale_central_limit_theorem

47.9.1 Reverse martingale