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 starts , , , , … Which number do its terms close in on?
Split the fraction: . As grows, gets as small as you like, so the terms get as close to as you like. They do keep getting smaller, but they never drop below . So the limit is .
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 get closer to with every step, and yet is not their limit: they never come within of it.
The precise definition works like a challenge:
- someone names a tolerance (the Greek letter epsilon) - any positive number, however small,
- you must answer with a cut-off: from there on, every value is less than away from the limit.
A number is the limit if you can answer the challenge for every , however small. For a sequence, the cut-off is a term number : every term from on must be that close. For a function near a point , it is a distance (delta). Every within of , apart from 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 : the dot above is the term .
a₁ = 2 · a₁₀ = 1.1 · a₄₀ = 1.025
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 is the answer to it. A number is the limit when every band, however narrow, has its own , 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 . Choose a function and a tolerance , which sets the horizontal band around the limit. Then look for a , which sets the vertical strip from to . Above the strip, the graph turns green where it stays inside the band and red where it leaves it. A works when no red is left.
- 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 the largest that works equals : away from the function equals , so its distance from is exactly ,
- when you make smaller, has to shrink too - depends on ,
- and are not defined at the point itself (the graph has a hole there), yet they have limits there, and respectively. For with , any up to about works,
- for no works: just left of the function equals , and just right of it . A narrow band cannot hold both values, wherever you put it, so this function has no limit at .
The definitions
The limit of a sequence. A number is the limit of the sequence if for every there is a number such that for every
We write , read “the limit of as tends to infinity is ”, and say that the sequence converges to . A sequence without a limit is divergent: keeps jumping between and , and grows without bound. For we write 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. if for every there is a such that for every in the domain of with
The condition leaves out itself. That is why the value does not matter: it can be anything, or may not be defined at at all.
Limits through sequences. exactly when for every sequence with . This equivalent definition, in terms of sequences, is sometimes named after Eduard Heine.
One-sided limits. When approaches only from the right, we get the right-hand limit ; only from the left, the left-hand limit . The limit exists exactly when both one-sided limits exist and are equal. For at they are and .
Limit laws. If and , then and , and as long as . 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 . 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 .
Step 1. Divide by the highest power of n
The highest power of in the fraction is itself. We divide the numerator and the denominator by it, which does not change the value of the fraction.
Step 2. Use the limit of 1/n
As grows, , and so as well.
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.
Answer
. The terms get as close to as you like.
Example 2: the limit of a function at a hole in its graph
We want .
Step 1. Try substituting
Substituting into the fraction gives . That is an indeterminate form: it does not tell us the limit, so we have to simplify first.
Step 2. Factor the numerator
The numerator is a difference of two squares.
Step 3. Cancel the common factor
In a limit, only gets close to and is never equal to it, so and we may cancel.
Step 4. Now substitute
The expression is a polynomial, defined at as well, so now we can substitute.
Answer
. Close to the fraction gets as close to as you like, even though it is not defined at itself.
Your turn
The function has the limit at . For the tolerance , find a that works: every with must give .
Hintshow
Write in terms of , then work out how small 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 .
Step 2. Set up the inequality
The distance has to be less than .
Step 3. Solve for the distance from 2
We divide both sides by .
Answer
works, and so does any smaller : when is less than away from , is less than away from .
Common mistakes
- “Closer and closer is enough.” The terms of get closer to with every step, but their distance from never drops below . The limit is the number they get as close to as you like - here that is .
- “Infinity over infinity is 1.” In both the numerator and the denominator grow without bound, but the limit is . Divide by the highest power of first.
- “0/0 means 0.” is an indeterminate form. Factor and cancel first, as in Example 2.
- “The limit is the value at the point.” The limit at does not look at at all. is not defined at , yet its limit there is .
- “A sequence never reaches its limit.” It can. The constant sequence has the limit , 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: can be made as close to the limit as you like by taking close enough to . 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 tends to . 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 tend to . A geometric series has a sum to infinity only when , and integration is understood as the limit of a sum.
The definitions with , and 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 ?
The terms of have the limit . What is the smallest such that every term from on is less than away from ?
What is ?
A function equals for every , and . What is ?
What is ?
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
Question
Answer
What does mean in plain words?
However small a tolerance you pick, from some term on every term is less than away from .State the ε-N definition of the limit of a sequence.
For every there is an such that for every .State the ε-δ definition of .
For every there is a such that for every in the domain with .Does the value affect the limit at ?
No. The definition leaves out (), and does not even have to be defined at .What is ?
How do you find ?
Divide the numerator and the denominator by : .Substituting the point gives . What does that tell you?
Nothing about the limit yet: is an indeterminate form. Simplify first, for example by factoring and cancelling.When does exist, in terms of one-sided limits?
When both one-sided limits exist and are equal. For at they are and , so there is no limit.Why is “the terms get closer and closer to ” not enough?
The terms of get closer to with every step but never come within of it. The terms must get as close to the limit as you like.Give two examples of divergent sequences.
, which keeps jumping between and , and , 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.
- 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
- 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
- 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
- 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
- Dale Hoffman - Contemporary Calculus, 1.4 Definition of Limit (the epsilon-delta definition) (PDF) · CC BY 3.0 US
- Dale Hoffman - Contemporary Calculus, 10.1 Sequences (the epsilon-N definition, convergent and divergent sequences) (PDF) · CC BY 3.0 US
- Jiří Lebl - Basic Analysis I, 0.1 About this book (a one-semester university course in basic analysis) · CC BY-SA 4.0
- 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
- 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
- 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
- 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
- Wikibooks - Calculus/Formal Definition of the Limit (why 'arbitrarily close' needs ε and δ) · CC BY-SA 4.0
- 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
- Wikipedia - Limit of a sequence · CC BY-SA 4.0
- Wikipedia - Limit of a function (the definition in terms of sequences, attributed to Heine) · CC BY-SA 4.0
- Wikipedia - Indeterminate form · CC BY-SA 4.0
- Wikipedia - AP Calculus (Unit 1: Limits and Continuity) · CC BY-SA 4.0