Why Calculus Students Struggle with Epsilon-Delta Proofs

The formal definition of a limit: lim[x→a] f(x) = L means: for every ε > 0, there exists δ > 0 such that if 0 < |x − a| < δ, then |f(x) − L| < ε.

This sentence is eight words and two inequalities. It takes most students between one and four weeks to parse it correctly. The difficulty is not in the mathematics — it is in the quantifier structure, which is unlike anything students have encountered before.

Hurdle 1: the order of quantifiers

"For every ε... there exists δ" is not "there exists δ such that for every ε." These are logically different claims.

The correct reading: our opponent picks any ε (however small). We must respond with a δ that works for that particular ε. We cannot choose δ first; we must be prepared to choose δ in response to whatever ε we are given.

This is a game between two parties: an adversary who chooses ε (maliciously small), and us, who must produce δ. A proof by epsilon-delta is a strategy for responding to any ε — it must work for ε = 0.001, ε = 0.000001, ε = 10^{−100}. We cannot prove the limit for one value of ε and conclude.

Hurdle 2: reverse engineering δ from ε

In a worked epsilon-delta proof, the δ we produce is typically a function of ε. The proof says "let δ = ε/3" or "let δ = min(1, ε/5)." These choices look arbitrary until you understand the strategy.

The strategy: start from the conclusion (|f(x) − L| < ε) and work backwards to find what restriction on |x − a| is sufficient. This "scratch work" is not part of the proof — it is the thinking that produces the right δ to state in the proof.

For f(x) = 3x and L = 6, a = 2: we need |3x − 6| < ε. Factor: 3|x − 2| < ε. So |x − 2| < ε/3. Choose δ = ε/3. The proof then runs forwards: if |x − 2| < ε/3, then |3x − 6| = 3|x − 2| < 3(ε/3) = ε.

Hurdle 3: why 0 < |x − a| < δ excludes x = a

The condition 0 < |x − a| — not |x − a| ≤ δ — excludes x = a explicitly. This is intentional: the limit of f(x) as x approaches a does not depend on the value of f(a), or even on whether f(a) is defined. The limit is a statement about the behaviour of f near a, not at a.

Students who are used to functions being evaluated at points find this exclusion strange. It is the feature of limits that distinguishes them from function values — the reason limits can exist even at points where the function is not defined.