The limit of f(x) as x approaches a is the value f(x) gets closer and closer to as x gets closer and closer to a — without x actually being a. That last clause matters. The limit is about the approach, not the arrival. The function might not even be defined at x=a, yet the limit can still exist and equal a specific number.
The Intuition — Approaching Without Arriving
Imagine standing 10 metres from a wall. You walk halfway to the wall — now you are 5 metres away. Then halfway again: 2.5 metres. Then 1.25, then 0.625… You keep halving the distance forever. In this thought experiment, you get arbitrarily close to the wall but never actually reach it. A limit asks: what are you approaching? The answer — the wall — is the limit.
This is the core idea. In mathematics, a limit describes the value a function is approaching as its input approaches some target — regardless of whether the function ever actually reaches that value at the target. The journey matters more than the arrival.
A limit does not ask "what is f(a)?" It asks "what value does f(x) get close to as x gets close to a?" The function may be undefined at a, or may have a different value there — the limit only cares about the behaviour in the neighbourhood of a.
Informal Definition of a Limit
The informal definition is: we say the limit of f(x) as x approaches a equals L if f(x) gets arbitrarily close to L whenever x is sufficiently close to a (but not equal to a).
Three things to notice about this notation:
- x → a means x gets close to a but never equals a. The arrow signifies approach, not arrival.
- f(x) → L means the output gets arbitrarily close to L. We can make the error |f(x) − L| as small as we want.
- The limit L may or may not equal f(a). If it does, the function is continuous at a.
Three Classic Examples
Find lim (x→3) [x² + 1]
Find lim (x→2) [(x² − 4) / (x − 2)]
Find lim (x→0) [1/x]
The Formal ε-δ Definition
The informal definition works for building intuition, but mathematics demands precision. The formal ε-δ (epsilon-delta) definition, given by Cauchy and Weierstrass in the 19th century, makes the idea of "approaching" completely rigorous.
For every ε > 0, there exists δ > 0 such that:
if 0 < |x − a| < δ then |f(x) − L| < ε
In plain English: you name any target tolerance ε around L — no matter how small — and I can find a radius δ around a such that every x within that radius (except a itself) maps to an f(x) within your tolerance. If I can always do this, the limit equals L.
The ε-δ definition is what makes calculus a proof — not just an intuition. You need it to rigorously prove derivative rules, justify integration, and verify theorems. In a first calculus course you may only need the intuition; in analysis, ε-δ is everything.
Limit Laws and Properties
You do not need to use the ε-δ definition every time. Limit laws let you break complex limits into simpler pieces:
- Sum Law: lim [f(x) + g(x)] = lim f(x) + lim g(x)
- Product Law: lim [f(x) · g(x)] = lim f(x) · lim g(x)
- Quotient Law: lim [f(x)/g(x)] = lim f(x) / lim g(x), provided lim g(x) ≠ 0
- Power Law: lim [f(x)]ⁿ = [lim f(x)]ⁿ
- Constant Law: lim [c] = c (the limit of a constant is that constant)
- Squeeze Theorem: if g(x) ≤ f(x) ≤ h(x) near a and lim g = lim h = L, then lim f = L
Limit vs. Function Value — The Critical Distinction
There are three possible relationships between a limit and a function value at x = a:
- Limit exists and equals f(a): The function is continuous at a. This is the "nice" case.
- Limit exists but f(a) is undefined: Removable discontinuity — a hole in the graph. The limit still tells you what the function is "trying to be."
- Limit exists but f(a) ≠ L: The function is defined at a but jumps to a different value. Another type of removable discontinuity.
- Limit does not exist: The function blows up (infinite limit), or the left and right limits disagree (jump discontinuity), or the function oscillates.
- Stewart, J. (2015). Calculus, §2.2. Cengage.
- Spivak, M. (2006). Calculus, Ch. 5. Publish or Perish.
- Courant, R. & John, F. (1989). Introduction to Calculus and Analysis. Springer.