Limit of a sequence and the geometric series
Infinitely many terms, a finite total — provided the ratio is smaller than one in absolute value. See what it means precisely for a sequence to approach a limit, how limits of polynomial quotients are computed, where the number e comes from, and why 0.(3) really is one third.
Before you start
This topic builds on earlier ideas. Before you start, it's worth working through the lessons below — they'll make everything click:
- Number sequencesA sequence is a function that assigns a number to every natural number — which is exactly why its graph is a set of separate dots rather than a curve. See how a general formula works, how a recursive one differs from it, and how a single subtraction settles whether a sequence increases.
- Arithmetic and geometric sequencesTwo sequences describe almost everything that grows regularly: one keeps adding the same amount, the other keeps multiplying by the same amount. Meet the formulas for the nth term and for the sum of the first n terms of both, the mean property, and the reason a savings account is a geometric sequence.
Where this is used
Real situations where you count exactly the way this lesson teaches:
- A bouncing ballA ball dropped from 2 m returns to 60% of the previous height after every bounce. The bounce heights form a geometric sequence with q = 0.6, and the whole distance travelled is 2 + 2 · (1.2 + 0.72 + 0.432 + …) = 2 + 2 · 1.2/(1 − 0.6) = 8 metres. There are infinitely many bounces and the distance is finite — which is exactly the situation a convergent series describes.
- The multiplier effectA government spends 1 billion on an investment. Those who receive the money spend 80% of it onward, the next recipients spend 80% again — a geometric series with q = 0.8. An economist sums it with 1/(1 − 0.8) = 5, so total demand rises by 5 billion, five times the original outlay. At a propensity to consume of 0.5 the multiplier would drop to 2.
- Successive approximationA calculator has no dedicated square-root circuit: it computes the root with the sequence aₙ₊₁ = (aₙ + 2/aₙ)/2, convergent to √2. Starting from a₁ = 2 we get 1.5, then 1.41666, then 1.4142157 — after four steps six decimal places already agree. A programmer stops the iteration once |aₙ₊₁ − aₙ| drops below a chosen epsilon, which is precisely what the definition of a limit says.
- A fractal in graphicsThe Koch snowflake is built by repeatedly replacing every edge with four shorter ones. The perimeter is multiplied by 4/3 each time, so it grows without bound — a divergent sequence. The area, however, is the sum of a convergent series and settles at 8/5 of the starting triangle, that is 1.6 times as much. A graphics engine can therefore render a figure with an infinite perimeter and a finite surface.
All formulas
Limit of a sequence
a sequence convergent to the number g
Definition of the limit
from some point on, every term lies closer to g than epsilon
The basic limit
every quotient limit is derived from it
Quotient of polynomials
for equal degrees — the ratio of the leading coefficients
The number e
a limit that is the definition of a constant
Sum of a geometric series
only for a convergent one — otherwise there is no sum
Infinitely many terms and a finite total — it sounds like a contradiction and is an ordinary calculation. All it needs is one idea: the limit.
Convergent and divergent sequences
Look at the sequence :
The terms keep dropping, yet never fall below — and never reach that either. We still say they tend to .
The definition
The phrase about coming arbitrarily close has to be written so that it can be checked. That is what the definition does:
In plain words: pick any radius around the number , however small; from some index on, every further term already lies inside it. At most finitely many opening terms may stay outside.
Let us check that on our sequence. For we look for an beyond which :
So suffices. For it comes out as — and so on for every , however tiny. That is precisely the proof that the limit is .
A sequence whose limit is a number is called convergent. Every other one is divergent, and divergence wears three different faces:
| sequence | behaviour | notation |
|---|---|---|
| convergent to | ||
| grows without bound | ||
| jumps between and | the limit does not exist |
The notation is a convenient shorthand describing how a sequence diverges. Infinity is not a number, so such a sequence is not convergent — the equals sign notwithstanding.
Limits of polynomial quotients
The most frequent calculation of this topic. The basic limit everything follows from is
and with it , and so on. The whole procedure comes down to one move: divide the numerator and the denominator by the highest power of in the denominator.
The outcome depends only on the two degrees:
- equal degrees — the limit is the ratio of the leading coefficients;
- numerator of lower degree — the limit is , because the denominator grows faster;
- numerator of higher degree — the sequence diverges to or .
The same arithmetic returns later for the limit of a function at infinity. The difference lies in the object, not in the calculation: there the argument runs through all the real numbers, here through the naturals only.
The number e
One limit deserves a place of its own, because it defines a constant:
It looks innocent: the base tends to and the exponent to infinity. Computed separately that would give to an infinite power — which is no result at all but an indeterminate form. The whole expression has to be handled at once:
The number is the base of the natural logarithm, and in finance it describes continuous compounding — interest credited not once a year but at every instant.
The geometric series
A series is the sum of all the terms of a sequence. Take the geometric sequence with and and add its terms one by one:
The sequence of partial sums converges to — and that limit is what we call the sum of the series.
Where the formula comes from
Take the formula for the sum of the first terms and let go to infinity:
For the power tends to zero — multiplying by a fraction smaller than one shrinks the number at every step. What remains is
The condition is part of the formula, not a footnote. For the partial sums grow without bound, while the formula would return — a negative number as the total of positive terms. The formula may be applied only after the condition has been checked.
A repeating decimal is a series
The expansion is not an almost anything — it is the sum of a series:
That is a geometric series with and , and since it has a sum:
Every other repeating block works the same way — for the first term is and the ratio :
Hence the schoolroom shortcut: the repeating block on top, as many nines below as the block has digits. Turning a decimal into a fraction stops being a rule to memorise and becomes a calculation you can derive.
The same calculation settles the most famous argument in school mathematics:
and are two notations for the same number — not two numbers lying very close together.
Exercises
The set drills two calculations: the limit of a quotient of polynomials (divide by the highest power) and the sum of a convergent geometric series (check first, then apply the formula). Some answers are fractions — type those as 3/4; any equivalent spelling of the same number is accepted. Divergent sequences and infinite limits stay with the examples above, because their answer is a symbol rather than a number.
Practice
Work through a set of exercises — they get harder as you go. At the end you'll see your score and the mistakes worth reviewing.
Common mistakes
- Treating as a number — says how a sequence diverges, not that it has a limit.
- Summing a series without checking — for the formula returns a number that is the total of nothing.
- Assuming the terms must reach the limit — has limit although no term of it is zero.
- Cancelling down to one — dividing by leaves , which tends to zero.
- Evaluating as — that is an indeterminate form; the limit of is , not .
- Writing — there is no approximation here; both notations name the same number.
Formula card
Topic: Limit of a sequence and the geometric series
Limit of a sequence
a sequence convergent to the number g
Definition of the limit
from some point on, every term lies closer to g than epsilon
The basic limit
every quotient limit is derived from it
Quotient of polynomials
for equal degrees — the ratio of the leading coefficients
The number e
a limit that is the definition of a constant
Sum of a geometric series
only for a convergent one — otherwise there is no sum
