Limit of a sequence

In mathematics, a sequence is an ordered set of mathematical objects (most notably a list of numbers). In some cases, the sequence tends towards a limit, in which case the limit is denoted using the symbol formula_1 (as in formula_2), and the sequence is said to be convergent, otherwise it is divergent.
In a convergent sequence, the absolute difference between the value of the current term and the limit, formula_3, will decrease towards 0, as the sequence progresses. 
Formal Definition.
We call formula_4 the limit of the sequence formula_5 if the following condition holds:
In other words, for every measure of distance formula_10, we can find an infinite number of terms of the sequence that are closer than formula_10 to the limit. We say that the sequence formula_5 converges to or tends to the limit formula_4, which we write as formula_14 or formula_15. The limit can be also shown to be unique.
If a sequence converges to a limit, then it is convergent; otherwise it is divergent.
History.
The Greek philosopher Zeno of Elea is famous for formulating paradoxes that involve limiting processes.
Leucippus, Democritus, Antiphon, Eudoxus and Archimedes developed the method of exhaustion, which uses an infinite sequence of approximations to determine an area or a volume. Archimedes succeeded in summing what is now called a geometric series.
Newton dealt with series in his works on "Analysis with infinite series" (written in 1669, circulated in manuscript, published in 1711), "Method of fluxions and infinite series" (written in 1671, published in English translation in 1736, Latin original published much later) and "Tractatus de Quadratura Curvarum" (written in 1693, published in 1704 as an Appendix to his "Optiks"). In the latter work, Newton considers the binomial expansion of ("x"+"o")"n", which he then linearizes by "taking the limits" as "o" tends to 0.
In the 18th century, mathematicians like Euler succeeded in summing some "divergent" series by stopping at the right moment; they did not much care whether a limit existed, as long as it could be calculated. At the end of the century, Lagrange in his "Théorie des fonctions analytiques" (1797) opined that the lack of rigour precluded further development in calculus. Gauss in his etude of hypergeometric series (1813) for the first time rigorously investigated under which conditions a series converged to a limit.
The modern definition of a limit (for any ε there exists an index "N" so that ...) was given by Bernhard Bolzano ("Der binomische Lehrsatz", Prague 1816, little noticed at the time), and by Karl Weierstraß in the 1870s.