Skip to content

Limit of a Sequence

Definition

Let L∈R.L\in\mathbb{R}\text{.} A sequence (an)n=1∞(a_n)_{n=1}^\infty converges to LL if for every ε>0,\varepsilon >0\text{,} there exists an N≥1N \geq 1 such that for every n≥N,n\geq N\text{,} we have ∣an−L∣<ε.|a_n-L|<\varepsilon\text{.} In this case, the sequence (an)n=1∞(a_n)_{n=1}^\infty is called convergent, and LL is called its limit. We write

L=lim⁡n→∞anoran→L as n→∞.L=\lim_{n\to\infty} a_n\quad\text{or}\quad a_n\to L\text{ as }n\to\infty.

If no such L∈RL\in\mathbb{R} exists, the sequence (an)n=1∞(a_n)_{n=1}^\infty is called divergent.


Interpretation

The limit of a sequence describes the value approached by its terms as the index increases. The definition formalizes "approached" as eventual closeness: however small a tolerance ε>0\varepsilon>0 is chosen, from some index NN on every term lies within ε\varepsilon of LL.

The terms 1/n approaching 0 inside the band from -0.1 to 0.1 around 0; all terms from n = 11 on lie in the band.

an=1/n→0a_n=1/n\to0: for ε=0.1\varepsilon=0.1, every term with n≥N=11n\ge N=11 (red) lies within ε\varepsilon of the limit 00, since 1/n<0.11/n<0.1 exactly when n>10n>10. A smaller ε\varepsilon needs a larger NN: for ε=0.01\varepsilon=0.01, N=101N=101 works. The definition asks only that some NN exists for each ε\varepsilon, not the smallest one.

Shrink ε\varepsilon and watch NN grow. Then move the candidate LL away from the limit, or pick (−1)n(-1)^n: no NN keeps every later term in the band.

The order of the quantifiers carries the meaning: first ε\varepsilon is given, then NN may be chosen depending on ε\varepsilon, and the condition must hold for all n≥Nn\ge N. This last part rules out sequences that only come close now and then. The terms of (−1)n(-1)^n equal 11 infinitely often but also return to −1-1, so for ε=1\varepsilon=1 no NN keeps all later terms within ε\varepsilon of any candidate LL. Only the tail matters: changing finitely many terms does not change whether the limit exists or what it is.

Two slips are common. "The terms get closer and closer to LL" is not the definition: the terms of 1/n1/n also get closer to −1-1 at every step, but −1-1 is not the limit. And the terms need not approach from one side: (−1)n/n(-1)^n/n converges to 00 while jumping from one side of 00 to the other. The same ε\varepsilon-idea returns later for limits of functions, as a limit at a point.


Key Results

  • Limits of sequences are unique when they exist.
  • Every convergent sequence is bounded.

Enrichment: non-assessable in 2026-27

Every convergent sequence is a Cauchy sequence, and over R\mathbb{R} the converse also holds. The Cauchy criterion is optional enrichment in Math I: Calculus and is not part of the assessable sequence-limit core.


Examples

  • lim⁡n→∞1n=0.\displaystyle \lim_{n\to\infty}\frac{1}{n}=0\text{.}
  • The sequence (−1)n(-1)^n does not converge.

Proving a sequence limit with ε\varepsilon and NN

Prove from the definition that lim⁡n→∞2n+1n+3=2\displaystyle\lim_{n\to\infty}\frac{2n+1}{n+3}=2.

Simplify the distance to the limit

For every n≥1n\ge1,

∣2n+1n+3−2∣=∣2n+1−2n−6n+3∣=5n+3.\left|\frac{2n+1}{n+3}-2\right|=\left|\frac{2n+1-2n-6}{n+3}\right|=\frac{5}{n+3}.
Find a simpler bound and choose NN

Since n+3>nn+3>n, we have 5n+3<5n\dfrac{5}{n+3}<\dfrac{5}{n}, and 5n<ε\dfrac{5}{n}<\varepsilon as soon as n>5/εn>5/\varepsilon. So, given ε>0\varepsilon>0, choose an integer N≥1N\ge1 with N>5/εN>5/\varepsilon; it exists by the Archimedean property of the real numbers.

Verify the choice

For every n≥Nn\ge N,

∣2n+1n+3−2∣=5n+3<5n≤5N<ε.\left|\frac{2n+1}{n+3}-2\right|=\frac{5}{n+3}<\frac{5}{n}\le\frac{5}{N}<\varepsilon.

This holds for every ε>0\varepsilon>0, so the sequence converges to 22.

Takeaway. Simplify ∣an−L∣|a_n-L| first, then bound it by something simple that shrinks as nn grows, and read NN off that bound. NN may depend on ε\varepsilon, and it does not have to be the smallest possible one.


Prerequisites

Sources

Aliases: sequence limit Keywords: convergent sequence, convergence of a sequence Symbols: element of, epsilon, infinity, real numbers

Last updated: 27 October 2026 11:52