Epsilon-Delta Definition

The epsilon-delta definition is the formal, precise way to define what it means for a function to have a limit. It says that a function

f(x)

approaches a limit

L

x

approaches

a

if you can make

f(x)

as close to

L

as you want (within epsilon) by keeping

x

close enough to

a

(within delta).

We say $\lim_{x \to a} f(x) = L$ if for every real number $\varepsilon > 0$ , there exists a real number $\delta > 0$ such that whenever $0 < |x - a| < \delta$ , it follows that $|f(x) - L| < \varepsilon$ . The condition $0 < |x - a|$ ensures that $x$ is not equal to $a$ itself — only values near $a$ matter. This definition makes the intuitive idea of "getting closer" mathematically airtight, removing any ambiguity about what a limit actually is.

Key Formula

\forall\, \varepsilon > 0,\; \exists\, \delta > 0 \;\text{ such that }\; 0 < |x - a| < \delta \implies |f(x) - L| < \varepsilon

Where:

$ε$ = a small positive number representing how close f(x) must be to L
$δ$ = a small positive number representing how close x must be to a
$a$ = the value that x approaches
$L$ = the limit value that f(x) approaches
$f(x)$ = the function being evaluated

Worked Example

Problem: Use the epsilon-delta definition to prove that

\lim_{x \to 3} (2x + 1) = 7

Step 1: Start with the conclusion you need to reach. You want

|f(x) - L| < \varepsilon

, so substitute the function and limit value.

|(2x + 1) - 7| < \varepsilon

Step 2: Simplify the expression inside the absolute value.

|2x - 6| < \varepsilon \implies 2|x - 3| < \varepsilon \implies |x - 3| < \frac{\varepsilon}{2}

Step 3: This tells you what delta should be. Choose

\delta = \frac{\varepsilon}{2}

. Now write the proof: assume

0 < |x - 3| < \delta

0 < |x - 3| < \frac{\varepsilon}{2}

Step 4: Work forward from the assumption to show the conclusion holds.

|(2x+1) - 7| = |2x - 6| = 2|x - 3| < 2 \cdot \frac{\varepsilon}{2} = \varepsilon

Answer: For any

\varepsilon > 0

, choosing

\delta = \frac{\varepsilon}{2}

guarantees that

|(2x+1) - 7| < \varepsilon

whenever

0 < |x - 3| < \delta

. This proves

\lim_{x \to 3}(2x+1) = 7

Why It Matters

Before this definition existed, mathematicians relied on vague language like "approaches" or "gets infinitely close," which led to logical gaps. The epsilon-delta framework, developed by Karl Weierstrass in the 19th century, gave calculus its rigorous foundation. You encounter it in Calculus I because it underpins every theorem about limits, continuity, and derivatives — even if you often use shortcuts to evaluate limits in practice.

Common Mistakes

Mistake: Forgetting that

x \neq a

(omitting the condition

0 < |x - a|

)

Correction: The definition specifically excludes

x = a

. Limits describe the behavior of

f(x)

near

a

, not at

a

. The strict inequality

0 < |x - a|

is essential.

Mistake: Thinking you choose delta first and then epsilon

Correction: Epsilon is given to you — it represents an arbitrary level of precision someone demands. Your job is to find a delta that works for that epsilon. The order matters: for every ε, there exists a δ.

Related Terms

Limit — The concept that this definition makes rigorous
Neighborhood — Epsilon and delta define neighborhoods around points
Deleted Neighborhood — The condition $0 < |x - a| < \delta$ describes one