Skip to content
EN - Language: English
MathematicsHigh school

Limits of sequences and functions - what a limit is, step by step

· 15 min read

In short

A limit is the number that the terms of a sequence, or the values of a function near a point, get as close to as you like. However small a tolerance ε you pick, from some term on (or close enough to the point) every value is less than ε away from the limit. The value at the point itself does not matter.

Words to know

Sequence
An endless list of numbers a₁, a₂, a₃, …, with one term for every natural number n.
Limit
The number that the terms (or the values near a point) eventually stay as close to as you like.
Tolerance ε
How far from the limit the values may be. ε (epsilon) is any positive number, however small.
Convergent sequence
A sequence that has a finite limit. A sequence without one is divergent.
Indeterminate form
An expression such as 0/0 or ∞/∞ that does not tell you the limit. You have to simplify first.
One-sided limit
The limit as x approaches a from the left only, or from the right only.

What do you think?

The sequence an=n+1na_n = \frac{n + 1}{n} starts 22, 1.51.5, 1.33…1.33\ldots, 1.251.25, … Which number do its terms close in on?

The idea: as close as you like

“The terms get closer and closer to a number” sounds like a good description of a limit, but it is too vague. The terms of 1n\frac{1}{n} get closer to −1-1 with every step, and yet −1-1 is not their limit: they never come within 11 of it.

The precise definition works like a challenge:

  • someone names a tolerance ε\varepsilon (the Greek letter epsilon) - any positive number, however small,
  • you must answer with a cut-off: from there on, every value is less than ε\varepsilon away from the limit.

A number is the limit if you can answer the challenge for every ε\varepsilon, however small. For a sequence, the cut-off is a term number NN: every term from aNa_N on must be that close. For a function near a point aa, it is a distance δ\delta (delta). Every xx within δ\delta of aa, apart from aa itself, must give a value that close.

A band around the limit

Go through the animation step by step with the buttons or the arrow keys. The dots are the terms of an=n+1na_n = \frac{n + 1}{n}: the dot above nn is the term ana_n.

1020304011.52N = 4

a₁ = 2 · a₁₀ = 1.1 · a₄₀ = 1.025

Step 1 of 5
Steps of the animation. Arrow keys move between steps.

Each dot is one term: a₁ = 2, a₂ = 1.5, a₃ ≈ 1.33, a₄ = 1.25 … The terms fall towards the dashed line at 1, but none of them ever reaches it.

The band is the challenge, and NN is the answer to it. A number is the limit when every band, however narrow, has its own NN, leaving only finitely many terms outside.

Try it yourself: find δ for a function

For a function the challenge is the same, but the answer is a distance from a point aa. Choose a function and a tolerance ε\varepsilon, which sets the horizontal band around the limit. Then look for a δ\delta, which sets the vertical strip from a−δa - \delta to a+δa + \delta. Above the strip, the graph turns green where it stays inside the band and red where it leaves it. A δ\delta works when no red is left.

Function
-11231234
ε = 0.5
δ = 1
band around 2
1.5 to 2.5
does δ = 1 work?
no - the graph leaves the band
largest δ that works
0.5

What to notice:

  • for x2−1x−1\frac{x^2 - 1}{x - 1} the largest δ\delta that works equals ε\varepsilon: away from x=1x = 1 the function equals x+1x + 1, so its distance from 22 is exactly ∣x−1∣|x - 1|,
  • when you make ε\varepsilon smaller, δ\delta has to shrink too - δ\delta depends on ε\varepsilon,
  • x2−1x−1\frac{x^2 - 1}{x - 1} and sin⁡xx\frac{\sin x}{x} are not defined at the point itself (the graph has a hole there), yet they have limits there, 22 and 11 respectively. For sin⁡xx\frac{\sin x}{x} with ε=0.1\varepsilon = 0.1, any δ\delta up to about 0.790.79 works,
  • for ∣x∣x\frac{|x|}{x} no δ\delta works: just left of 00 the function equals −1-1, and just right of it 11. A narrow band cannot hold both values, wherever you put it, so this function has no limit at 00.

The definitions

The limit of a sequence. A number LL is the limit of the sequence (an)(a_n) if for every ε>0\varepsilon > 0 there is a number NN such that for every n≥Nn \ge N

∣an−L∣<ε.|a_n - L| < \varepsilon.

We write lim⁡n→∞an=L\lim\limits_{n \to \infty} a_n = L, read “the limit of ana_n as nn tends to infinity is LL”, and say that the sequence converges to LL. A sequence without a limit is divergent: (−1)n(-1)^n keeps jumping between −1-1 and 11, and n2n^2 grows without bound. For n2n^2 we write lim⁡n→∞n2=∞\lim\limits_{n \to \infty} n^2 = \infty and say that the sequence diverges to infinity. Infinity is not a number, so this is not a limit in the sense above.

The limit of a function. lim⁡x→af(x)=L\lim\limits_{x \to a} f(x) = L if for every ε>0\varepsilon > 0 there is a δ>0\delta > 0 such that for every xx in the domain of ff with 0<∣x−a∣<δ0 < |x - a| < \delta

∣f(x)−L∣<ε.|f(x) - L| < \varepsilon.

The condition 0<∣x−a∣0 < |x - a| leaves out x=ax = a itself. That is why the value f(a)f(a) does not matter: it can be anything, or ff may not be defined at aa at all.

Limits through sequences. lim⁡x→af(x)=L\lim\limits_{x \to a} f(x) = L exactly when f(xn)→Lf(x_n) \to L for every sequence xn→ax_n \to a with xn≠ax_n \ne a. This equivalent definition, in terms of sequences, is sometimes named after Eduard Heine.

One-sided limits. When xx approaches aa only from the right, we get the right-hand limit lim⁡x→a+f(x)\lim\limits_{x \to a^+} f(x); only from the left, the left-hand limit lim⁡x→a−f(x)\lim\limits_{x \to a^-} f(x). The limit exists exactly when both one-sided limits exist and are equal. For ∣x∣x\frac{|x|}{x} at 00 they are 11 and −1-1.

Limit laws. If an→Aa_n \to A and bn→Bb_n \to B, then an+bn→A+Ba_n + b_n \to A + B and anbn→ABa_n b_n \to AB, and anbn→AB\frac{a_n}{b_n} \to \frac{A}{B} as long as B≠0B \ne 0. The same laws hold for limits of functions.

The rest of calculus is built on limits: the derivative, for example, is the limit of the slopes of secants.

Example 1: the limit of a sequence

We want lim⁡n→∞2n+1n+3\lim\limits_{n \to \infty} \frac{2n + 1}{n + 3}. Both the numerator and the denominator grow without bound, so you cannot read off the answer straight away: this is an indeterminate form of the type ∞∞\frac{\infty}{\infty}.

Step 1. Divide by the highest power of n

The highest power of nn in the fraction is nn itself. We divide the numerator and the denominator by it, which does not change the value of the fraction.

2n+1n+3=2+1n1+3n\frac{2n + 1}{n + 3} = \frac{2 + \frac{1}{n}}{1 + \frac{3}{n}}

Step 2. Use the limit of 1/n

As nn grows, 1n→0\frac{1}{n} \to 0, and so 3n→0\frac{3}{n} \to 0 as well.

2+1n→21+3n→1\begin{aligned} 2 + \tfrac{1}{n} &\to 2 \\ 1 + \tfrac{3}{n} &\to 1 \end{aligned}

Step 3. Take the limit of the quotient

The limit of the denominator is not zero, so the limit of the quotient is the quotient of the limits.

lim⁡n→∞2n+1n+3=2\boxed{\lim_{n \to \infty} \frac{2n + 1}{n + 3} = 2}

Answer

lim⁡n→∞2n+1n+3=2\lim\limits_{n \to \infty} \frac{2n + 1}{n + 3} = 2. The terms get as close to 22 as you like.

Example 2: the limit of a function at a hole in its graph

We want lim⁡x→2x2−4x−2\lim\limits_{x \to 2} \frac{x^2 - 4}{x - 2}.

Step 1. Try substituting

Substituting x=2x = 2 into the fraction gives 00\frac{0}{0}. That is an indeterminate form: it does not tell us the limit, so we have to simplify first.

22−42−2=00\frac{2^2 - 4}{2 - 2} = \frac{0}{0}

Step 2. Factor the numerator

The numerator is a difference of two squares.

x2−4=(x−2)(x+2)x^2 - 4 = (x - 2)(x + 2)

Step 3. Cancel the common factor

In a limit, xx only gets close to 22 and is never equal to it, so x−2≠0x - 2 \ne 0 and we may cancel.

(x−2)(x+2)x−2=x+2\frac{(x - 2)(x + 2)}{x - 2} = x + 2

Step 4. Now substitute

The expression x+2x + 2 is a polynomial, defined at x=2x = 2 as well, so now we can substitute.

lim⁡x→2x2−4x−2=4\boxed{\lim_{x \to 2} \frac{x^2 - 4}{x - 2} = 4}

Answer

lim⁡x→2x2−4x−2=4\lim\limits_{x \to 2} \frac{x^2 - 4}{x - 2} = 4. Close to x=2x = 2 the fraction gets as close to 44 as you like, even though it is not defined at 22 itself.

Your turn

The function f(x)=3x−1f(x) = 3x - 1 has the limit 55 at a=2a = 2. For the tolerance ε=0.3\varepsilon = 0.3, find a δ\delta that works: every xx with 0<∣x−2∣<δ0 < |x - 2| < \delta must give ∣f(x)−5∣<0.3|f(x) - 5| < 0.3.

Hintshow

Write ∣f(x)−5∣|f(x) - 5| in terms of ∣x−2∣|x - 2|, then work out how small ∣x−2∣|x - 2| has to be.

Solutiontry it on your own first

Step 1. Write the distance from the limit

We subtract the limit from the function and take out the common factor 33.

∣f(x)−5∣=∣3x−6∣=3 ∣x−2∣\begin{aligned} |f(x) - 5| &= |3x - 6| \\ &= 3\,|x - 2| \end{aligned}

Step 2. Set up the inequality

The distance has to be less than ε=0.3\varepsilon = 0.3.

3 ∣x−2∣<0.33\,|x - 2| < 0.3

Step 3. Solve for the distance from 2

We divide both sides by 33.

∣x−2∣<0.1\boxed{|x - 2| < 0.1}

Answer

δ=0.1\delta = 0.1 works, and so does any smaller δ\delta: when xx is less than 0.10.1 away from 22, f(x)f(x) is less than 0.30.3 away from 55.

Common mistakes

  • “Closer and closer is enough.” The terms of 1n\frac{1}{n} get closer to −1-1 with every step, but their distance from −1-1 never drops below 11. The limit is the number they get as close to as you like - here that is 00.
  • “Infinity over infinity is 1.” In 2n+1n+3\frac{2n + 1}{n + 3} both the numerator and the denominator grow without bound, but the limit is 22. Divide by the highest power of nn first.
  • “0/0 means 0.” 00\frac{0}{0} is an indeterminate form. Factor and cancel first, as in Example 2.
  • “The limit is the value at the point.” The limit at aa does not look at f(a)f(a) at all. x2−1x−1\frac{x^2 - 1}{x - 1} is not defined at 11, yet its limit there is 22.
  • “A sequence never reaches its limit.” It can. The constant sequence 5,5,5,…5, 5, 5, \ldots has the limit 55, and every one of its terms equals it.

In exams and at university

In the United States, AP Calculus AB and BC both open with a unit called Limits and Continuity. It uses the informal definition: f(x)f(x) can be made as close to the limit as you like by taking xx close enough to aa. The unit covers one-sided limits, the limit laws and simplifying before you substitute, as in Example 2. It also uses the squeeze theorem to show that sin⁡xx\frac{\sin x}{x} tends to 11. The ε-δ definition is not tested on the AP exams, although teachers may cover it if there is time.

In England, A-level Mathematics has no separate topic on limits, but uses them in several places. The gradient of a tangent is a limit, and differentiation from first principles lets hh tend to 00. A geometric series has a sum to infinity only when ∣r∣<1|r| < 1, and integration is understood as the limit of a sum.

The definitions with ε\varepsilon, NN and δ\delta belong mainly to university. Calculus textbooks show them briefly, and a first course in analysis uses them to prove the limit laws.

Check yourself

Test yourself

What is lim⁡n→∞4n+32n−1\lim\limits_{n \to \infty} \frac{4n + 3}{2n - 1}?

The terms of an=1+1na_n = 1 + \frac{1}{n} have the limit 11. What is the smallest NN such that every term from aNa_N on is less than 0.010.01 away from 11?

What is lim⁡x→3x2−9x−3\lim\limits_{x \to 3} \frac{x^2 - 9}{x - 3}?

A function ff equals x+1x + 1 for every x≠1x \ne 1, and f(1)=5f(1) = 5. What is lim⁡x→1f(x)\lim\limits_{x \to 1} f(x)?

What is lim⁡x→0∣x∣x\lim\limits_{x \to 0} \frac{|x|}{x}?

Flashcards for review

Flip a card and say whether you knew the answer. The ones you did not know come back at the end of the deck. Why it pays to come back to them in a few days is explained in the guide Spaced repetition.

Flashcards

  1. What does lim⁡n→∞an=L\lim\limits_{n \to \infty} a_n = L mean in plain words?

    However small a tolerance ε>0\varepsilon > 0 you pick, from some term on every term is less than ε\varepsilon away from LL.
  2. State the ε-N definition of the limit of a sequence.

    For every ε>0\varepsilon > 0 there is an NN such that ∣an−L∣<ε|a_n - L| < \varepsilon for every n≥Nn \ge N.
  3. State the ε-δ definition of lim⁡x→af(x)=L\lim\limits_{x \to a} f(x) = L.

    For every ε>0\varepsilon > 0 there is a δ>0\delta > 0 such that ∣f(x)−L∣<ε|f(x) - L| < \varepsilon for every xx in the domain with 0<∣x−a∣<δ0 < |x - a| < \delta.
  4. Does the value f(a)f(a) affect the limit at aa?

    No. The definition leaves x=ax = a out (0<∣x−a∣0 < |x - a|), and ff does not even have to be defined at aa.
  5. What is lim⁡n→∞1n\lim\limits_{n \to \infty} \frac{1}{n}?

    00
  6. How do you find lim⁡n→∞2n+1n+3\lim\limits_{n \to \infty} \frac{2n + 1}{n + 3}?

    Divide the numerator and the denominator by nn: 2+1n1+3n→2\frac{2 + \frac{1}{n}}{1 + \frac{3}{n}} \to 2.
  7. Substituting the point gives 00\frac{0}{0}. What does that tell you?

    Nothing about the limit yet: 00\frac{0}{0} is an indeterminate form. Simplify first, for example by factoring and cancelling.
  8. When does lim⁡x→af(x)\lim\limits_{x \to a} f(x) exist, in terms of one-sided limits?

    When both one-sided limits exist and are equal. For ∣x∣x\frac{|x|}{x} at 00 they are −1-1 and 11, so there is no limit.
  9. Why is “the terms get closer and closer to LL” not enough?

    The terms of 1n\frac{1}{n} get closer to −1-1 with every step but never come within 11 of it. The terms must get as close to the limit as you like.
  10. Give two examples of divergent sequences.

    (−1)n(-1)^n, which keeps jumping between −1-1 and 11, and n2n^2, which grows without bound (it diverges to infinity).

Sources

We checked the facts on this page against these sources. All of them may be reused freely: they carry an open licence or are not covered by copyright.

  1. Active Calculus (Matthew Boelkins, Grand Valley State University) - 1.2 The notion of limit (as close as we like, the value at the point does not matter, 0/0 as an indeterminate form, cancelling because x never equals a) · CC BY-SA 4.0
  2. Active Calculus (Matthew Boelkins, Grand Valley State University) - 1.7 Limits, continuity, and differentiability (left- and right-hand limits; the limit exists exactly when both exist and are equal) · CC BY-SA 4.0
  3. Dale Hoffman - Contemporary Calculus, 1.1 The Limit of a Function (the value at the point does not matter, factoring and cancelling, one-sided limits) (PDF) · CC BY 3.0 US
  4. Dale Hoffman - Contemporary Calculus, 1.2 Properties of Limits (limits of sums, products and quotients; sin x / x tends to 1) (PDF) · CC BY 3.0 US
  5. Dale Hoffman - Contemporary Calculus, 1.4 Definition of Limit (the epsilon-delta definition) (PDF) · CC BY 3.0 US
  6. Dale Hoffman - Contemporary Calculus, 10.1 Sequences (the epsilon-N definition, convergent and divergent sequences) (PDF) · CC BY 3.0 US
  7. Jiří Lebl - Basic Analysis I, 0.1 About this book (a one-semester university course in basic analysis) · CC BY-SA 4.0
  8. Jiří Lebl - Basic Analysis I, 2.1 Sequences and limits (the definition of convergence, a constant sequence, 1/n tends to 0, (−1)ⁿ diverges) · CC BY-SA 4.0
  9. Jiří Lebl - Basic Analysis I, 2.2 Facts about limits of sequences (limits of sums, products and quotients, proved with ε) · CC BY-SA 4.0
  10. Jiří Lebl - Basic Analysis I, 3.1 Limits of functions (the epsilon-delta definition, f need not be defined at c, limits through sequences, one-sided limits) · CC BY-SA 4.0
  11. G. H. Hardy - A Course of Pure Mathematics, 3rd edition (1921), chapter IV, Project Gutenberg (the limit as a challenge from an opponent who names ever smaller numbers, why 'nearly equal when n is large' is not precise enough, the limit may equal the terms, n² tends to ∞, (−1)ⁿ oscillates) · public domain
  12. Wikibooks - Calculus/Formal Definition of the Limit (why 'arbitrarily close' needs ε and δ) · CC BY-SA 4.0
  13. Wikibooks - Calculus/Limits/An Introduction to Limits (the value at the point does not matter, cancelling a common factor, one-sided limits) · CC BY-SA 4.0
  14. Wikipedia - Limit of a sequence · CC BY-SA 4.0
  15. Wikipedia - Limit of a function (the definition in terms of sequences, attributed to Heine) · CC BY-SA 4.0
  16. Wikipedia - Indeterminate form · CC BY-SA 4.0
  17. Wikipedia - AP Calculus (Unit 1: Limits and Continuity) · CC BY-SA 4.0

More explainers