Martingale convergence theorem