almost sure convergence