probability convergence