 L2 martingale convergence theorem

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.