L2 martingale convergence theorem ($L^2$)

A martingale bounded in $L^2$ converges almost surely and in $L^2$ to a square-integrable limit. Orthogonality of its increments makes their squared $L^2$ norms summable.