The Idea of a Limit
Stand a few metres from a wall and walk half the remaining distance. Then half of
what's left. Then half again, and again, forever. You will never actually touch the wall —
every step leaves a little gap — and yet nobody watching has the slightest doubt about where
you are going. Your destination is completely determined by the journey, even though no
single step ever arrives.
That one thought — you can know where something is heading without it ever getting
there — is the idea that unlocked calculus. Here is why it was needed. All through
calculus you will meet fractions that collapse to \tfrac{0}{0}
at exactly the point you care about. You cannot divide zero by zero; the arithmetic simply
refuses. But you can ask a sneakier question: as the inputs creep toward that
forbidden point, what value is the fraction heading toward? That question always
has a fair answer, and answering it is called taking a limit.
A limit asks: as the input x creeps closer and
closer to some number c, what value does the output
f(x) head toward? Notice the word toward. We
don't care what happens exactly at c — only where the
function is heading as we approach. We write this as:
\lim_{x \to c} f(x) = L
Read it aloud: "the limit of f(x), as
x approaches c, equals
L." Here L is the value the outputs
close in on — the wall you're walking toward, whether or not you ever stand on it.
-
We say \lim_{x \to c} f(x) = L when
f(x) can be made as close as we please to
L by taking x close enough to
c — without ever setting x = c.
-
The approach must work from both sides: inputs just below
c and inputs just above c must
drive f(x) toward the same value
L. If the two sides head to different values, the limit
does not exist.
-
The value f(c) itself plays no part in the
definition: it may be undefined, or may differ from L, and
neither changes the limit.
Sneak up on it with a table
Take f(x) = \frac{x^2 - 1}{x - 1}.
If you try x = 1 directly you get
\tfrac{0}{0} — undefined, exactly the collapse we were warned
about. But undefined at one point doesn't mean unknowable near it. So
instead let's sneak up on x = 1 from both sides and
watch the outputs. Slide the input toward 1 and read the value
off.
From the left (0.9, 0.99, 0.999) and from the right
(1.1, 1.01, 1.001), the outputs both squeeze toward the
same number: 2. Not one probe lands on
x = 1 — every input is an honest, legal one — yet together they
pin the destination down beyond doubt. So
\lim_{x \to 1} \frac{x^2 - 1}{x - 1} = 2.
This is the standard opening move whenever a formula misbehaves at a point: retreat to the
neighbourhood, take samples from both sides, and see whether they agree on a target.
Worked example: sneak up on \dfrac{x^2 - 9}{x - 3} at x = 3
Let's run the same routine ourselves, by hand, on
f(x) = \dfrac{x^2 - 9}{x - 3} as
x \to 3. Substituting x = 3 gives
\tfrac{9 - 9}{3 - 3} = \tfrac{0}{0} — blocked. So we build the
sneak-up table: three inputs creeping in from below, three from above.
| x (from the left) |
f(x) |
x (from the right) |
f(x) |
| 2.9 | 5.9 | 3.1 | 6.1 |
| 2.99 | 5.99 | 3.01 | 6.01 |
| 2.999 | 5.999 | 3.001 | 6.001 |
From below the outputs climb 5.9,\ 5.99,\ 5.999; from above they
descend 6.1,\ 6.01,\ 6.001. Both processions are marching
straight at 6, and neither side ever wavers. We
conclude:
\lim_{x \to 3} \frac{x^2 - 9}{x - 3} = 6.
The algebra explains why the table behaved so tidily. For every
x \neq 3, the numerator factors and the troublemaker cancels:
\frac{x^2 - 9}{x - 3} = \frac{(x - 3)(x + 3)}{x - 3} = x + 3.
Away from x = 3 the function is the line
y = x + 3, and that line passes through height
6 at x = 3. The
\tfrac{0}{0} was never a verdict — it was a disguise, and the
limit is the tool that sees through it. That single manoeuvre, dressed in different
costumes, is how every derivative in calculus will be computed.
See it on the graph
Back to our first example. Why 2? Because for every
x \ne 1, the fraction simplifies:
\frac{x^2 - 1}{x - 1} = \frac{(x-1)(x+1)}{x - 1} = x + 1.
So the graph
is just the line y = x + 1 — but with a single point
punched out at x = 1, drawn as a hollow circle.
The function has no value at x = 1, yet the graph
clearly aims straight at the height y = 2 from both sides.
Reading a limit off a graph is a physical skill, and here is the whole of it: cover the
point above x = c with a fingertip, then trace the curve toward
your finger — once coming from the left, once coming from the right. The height each trace
is heading for as it reaches your finger is the one-sided answer; if the two traces agree,
that shared height is the limit. What is hiding under the fingertip — a point, a
hole, a stray dot somewhere else — never enters into it.
This is the heart of the idea: the limit can exist even where the function itself
does not. The hole doesn't matter — what matters is where the curve is pointing as
you approach.
Worked example: when the function disagrees with its own limit
A hole is one thing — the function is simply absent there. Here is a stranger case: a
function that is defined at the point, but whose value sits somewhere the curve
never pointed. Define
g(x) = \begin{cases} x + 1 & \text{if } x \neq 2, \\ 5 & \text{if } x = 2. \end{cases}
Everywhere except x = 2, g is the
familiar line. But at x = 2 exactly, someone has plucked the
point off the line and relocated it up to height 5.
Now sneak up on x = 2:
g(1.9) = 2.9, g(1.99) = 2.99,
g(1.999) = 2.999 from the left, and
g(2.1) = 3.1, g(2.01) = 3.01,
g(2.001) = 3.001 from the right. Every single probe uses the
x + 1 rule — because every probe has
x \neq 2 — and both sides squeeze onto
3. So:
\lim_{x \to 2} g(x) = 3, \qquad \text{even though} \qquad g(2) = 5.
The limit and the function's value are two genuinely different questions,
and here they give two different answers. The limit interrogates the neighbourhood — the
journey in — and the journey never once consults g(2). The lone
dot at height 5 is invisible to it. (Functions where the two
answers do agree at every point are the well-behaved ones — you'll meet them soon
under the name continuous.)
Two traps catch nearly everyone meeting limits for the first time:
-
The limit is about the journey, not the destination. The value
f(c) may not exist at all (the punched-out hole), or may exist
but sit far from L (the relocated point at height
5) — and neither matters. Writing
\lim_{x \to c} f(x) = f(c) as a reflex is the classic error:
it happens to be true for friendly functions, but it is not the definition, and both of
our examples break it. Always ask "where is it heading?", never "what is it
at?".
-
"Gets close" means both sides must agree. If f(x)
heads to 3 as x creeps up from
below, but heads to 5 as x creeps
down from above, there is no single value the outputs close in on — so
\lim_{x \to c} f(x) does not exist. A step or jump in
the graph is the visual giveaway. One side alone is never enough; the limit is a
two-sided handshake.
Watch a point slide in
Here is a friendlier curve, f(x) = x + 1 near
x = 2 — no hole, no relocated point, nothing suspicious. Press
play and watch a point walk along the curve toward x = 2 from
both directions. Its height closes in on L = 3: the left walker
rises toward it, the right walker descends toward it, and the two-sided handshake meets at
the same height.
For a well-behaved curve like this the limit agrees with the value —
\lim_{x \to 2} f(x) = 3 = f(2) — which is exactly why such
functions feel unremarkable. The limit concept earns its keep at the awkward points; here
it simply confirms what your eye already believed.
The wall-walk from the top of this page is one of the oldest puzzles in mathematics.
Around 450 BC the Greek philosopher Zeno of Elea argued that motion itself
is impossible: to reach the wall you must first cover half the distance, but before that,
half of that, and so on — infinitely many tasks, so (Zeno claimed) you can never
finish, and never arrive. This is his dichotomy paradox, and for over two thousand
years no one could say cleanly what was wrong with it — even though people plainly do walk
into walls.
Limits dissolve it. The distances covered after each stage —
\tfrac{1}{2}, \tfrac{3}{4}, \tfrac{7}{8}, \tfrac{15}{16}, \ldots
of the way — form a journey with an unmistakable destination: the sequence has limit
1, the whole distance. "Infinitely many stages" was never the
problem, because the stages shrink so fast that they fit inside a finite walk taking finite
time. Zeno mistook never arriving at any single stage for never arriving at
all — precisely the at-versus-toward confusion this page exists to untangle.
A confession to close the story: even Newton and Leibniz, who built calculus on limits in
the 1660s–80s, used the idea loosely — talk of "infinitely small quantities" that critics
gleefully tore apart (the philosopher Berkeley mocked them as "ghosts of departed
quantities"). It took about 150 more years before Cauchy, and then
Weierstrass, pinned "gets as close as we please" down into the rigorous
\varepsilon–\delta definition used
today. The intuition you are building on this page came first; the fine print was
mathematics' longest clean-up job.
Watch Sal explain it
Sal Khan walks through the same idea — a function with a gap, and a table of values
sneaking up on it from both sides — at an easy pace. A second telling in a second voice is
a fine way to let the idea settle.
See it explained