Step by Step
ε
Epsilon — the output tolerance
Epsilon (ε) represents how close you want f(x) to be to the limit value L — a tiny positive tolerance for the output.
δ
Delta — the input restriction
Delta (δ) represents how close x needs to be to a in order to guarantee that output tolerance — a tiny positive restriction on the input.
Def
Putting it together
The formal definition states: for every ε > 0, there exists a δ > 0 such that whenever |x−a| < δ (x is within δ of a), it follows that |f(x)−L| < ε (f(x) is within ε of L).
Idea
The plain-English idea
No matter how demanding a tolerance (ε) someone gives you for how close f(x) must be to L, you can always find a corresponding restriction (δ) on how close x needs to be to a to guarantee it — that's what it means for the limit to actually equal L.
Applied Walkthrough
1
Consider lim(x→2) 3x = 6. To prove this using the epsilon-delta definition, start with an arbitrary ε > 0 — someone's requested output tolerance.
2
You need to find a δ > 0 such that whenever |x−2| < δ, it follows that |3x−6| < ε.
3
Simplify |3x−6| = 3|x−2|. You want 3|x−2| < ε, which means |x−2| < ε/3.
4
So choosing δ = ε/3 works: whenever x is within δ = ε/3 of 2, f(x) = 3x will be within ε of 6 — proving the limit rigorously, for any tolerance ε someone might demand.
Exam Application
Exams test whether you understand the logical structure of the epsilon-delta definition (ε given first, then δ found in response), and whether you can construct a valid δ in terms of ε for a simple function.
⚠ Common Trap
The most common trap is getting the order of quantifiers backward — δ must be found in response to a given ε, not the other way around. The whole point is that no matter how small a tolerance (ε) is demanded, a suitable δ can always be found.
✓ Quick Self-Check
1. What does epsilon (ε) represent in the formal limit definition?
The tolerance for how close f(x) must be to the limit L.
Tap to reveal / hide
2. What does delta (δ) represent?
The restriction on how close x must be to a to guarantee the epsilon tolerance.
Tap to reveal / hide
3. State the formal epsilon-delta definition of a limit.
For every ε > 0, there exists a δ > 0 such that whenever |x−a| < δ, then |f(x)−L| < ε.
Tap to reveal / hide
4. For lim(x→2) 3x = 6, what value of δ works in terms of ε?
δ = ε/3.
Tap to reveal / hide
5. In what order must ε and δ be considered?
ε is given first (as an arbitrary demanded tolerance), then δ must be found in response to it.
Tap to reveal / hide