Mathwords logoMathwords

Formal Definition of a Limit — Definition, Formula & Examples

The formal definition of a limit, known as the epsilon-delta definition, gives a rigorous way to say that a function f(x)f(x) gets arbitrarily close to a value LL as xx gets close to aa. Instead of relying on intuition like "approaches," it uses two small positive numbers, ε\varepsilon and δ\delta, to make the idea mathematically precise.

We say lim⁡x→af(x)=L\lim_{x \to a} f(x) = L if for every ε>0\varepsilon > 0 there exists a δ>0\delta > 0 such that whenever 0<∣x−a∣<δ0 < |x - a| < \delta, it follows that ∣f(x)−L∣<ε|f(x) - L| < \varepsilon. The condition 0<∣x−a∣0 < |x - a| ensures we consider points near aa but not aa itself.

Key Formula

lim⁡x→af(x)=L  ⟺  ∀ ε>0,  ∃ δ>0 such that 0<∣x−a∣<δ  ⟹  ∣f(x)−L∣<ε\lim_{x \to a} f(x) = L \iff \forall\, \varepsilon > 0,\; \exists\, \delta > 0 \text{ such that } 0 < |x - a| < \delta \implies |f(x) - L| < \varepsilon
Where:
  • aa = The value that x approaches
  • LL = The limit value that f(x) approaches
  • ε\varepsilon = Any positive number representing the allowed distance from L
  • δ\delta = A positive number representing the window around a

How It Works

Think of it as a challenge-response game. An opponent picks any tiny tolerance ε\varepsilon around LL and challenges you to keep f(x)f(x) within that band. You respond by finding a window δ\delta around aa so that every xx in that window (except possibly aa itself) maps to an f(x)f(x) within ε\varepsilon of LL. If you can always win no matter how small ε\varepsilon is, the limit equals LL. The key insight is that δ\delta is allowed to depend on ε\varepsilon — a smaller tolerance may require a tighter window.

Worked Example

Problem: Use the epsilon-delta definition to prove that lim⁡x→3(2x+1)=7\lim_{x \to 3} (2x + 1) = 7.
Set up the goal: We need to show that for every ε>0\varepsilon > 0, there exists a δ>0\delta > 0 such that 0<∣x−3∣<δ0 < |x - 3| < \delta implies ∣(2x+1)−7∣<ε|(2x+1) - 7| < \varepsilon.
∣(2x+1)−7∣=∣2x−6∣=2∣x−3∣|(2x + 1) - 7| = |2x - 6| = 2|x - 3|
Find delta: We want 2∣x−3∣<ε2|x - 3| < \varepsilon, which simplifies to ∣x−3∣<ε/2|x - 3| < \varepsilon / 2. So choose δ=ε/2\delta = \varepsilon / 2.
δ=ε2\delta = \frac{\varepsilon}{2}
Verify: If 0<∣x−3∣<δ=ε/20 < |x - 3| < \delta = \varepsilon/2, then ∣(2x+1)−7∣=2∣x−3∣<2⋅ε2=ε|(2x+1) - 7| = 2|x - 3| < 2 \cdot \frac{\varepsilon}{2} = \varepsilon. The condition is satisfied.
2∣x−3∣<2⋅ε2=ε  ✓2|x - 3| < 2 \cdot \frac{\varepsilon}{2} = \varepsilon \; \checkmark
Answer: For any ε>0\varepsilon > 0, choosing δ=ε/2\delta = \varepsilon/2 satisfies the definition, proving lim⁡x→3(2x+1)=7\lim_{x \to 3}(2x+1) = 7.

Why It Matters

The epsilon-delta definition is the foundation on which all of calculus is built — derivatives, integrals, and series convergence all rely on it. Courses in real analysis and advanced calculus expect you to write epsilon-delta proofs fluently, and the logical structure (for all... there exists...) appears throughout higher mathematics.

Common Mistakes

Mistake: Choosing δ\delta before ε\varepsilon or picking a fixed numerical δ\delta that doesn't depend on ε\varepsilon.
Correction: δ\delta must work for every possible ε\varepsilon. Start from the inequality ∣f(x)−L∣<ε|f(x) - L| < \varepsilon, manipulate it to isolate ∣x−a∣|x - a|, and express δ\delta in terms of ε\varepsilon.