convergence of a sequence of real numbers