L2 martingale convergence theorem (source code)

= L2 martingale convergence theorem
{title2=$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.