added the convergence result