A sequence (an) converges to a real number a if, for every positive number epsilon, there exists N in the natural numbers such that whenever n>=N it follows that |an-a|<epsilon