Epsilon Vs Delta Proof Assistant

Math Calculus • Limits and Continuity

Written by STEM Calculators Team Published December 21, 2025 Updated February 24, 2026

7. Epsilon Vs Delta Proof Assistant

Interactive helper for proving limits with the \(\varepsilon\)-\(\delta\) definition: propose or verify a \(\delta\) for a chosen \(\varepsilon\), visualize the \(\varepsilon\)-band and \(\delta\)-interval, and export a proof template in LaTeX.

Inputs

Function \(f(x)\)

Supported: + − * / ^, parentheses, x, pi, e, sin cos tan, ln log (base 10), sqrt abs exp. Implicit multiplication allowed: 2x, (x+1)(x-1), 2sin(x).

Point \(a\)

Constants and expressions allowed (e.g. pi, 2*pi).

Limit \(L\)

Target value in \(\lim_{x\to a}f(x)=L\).

Epsilon \(\varepsilon\)

Positive number.

Mode

“Verify” checks whether sample points satisfy \(|f(x)-L|<\varepsilon\) when \(0<|x-a|<\delta\).

Delta \(\delta\)

Used in “Verify” mode; optional as a starting guess in “Find”.

Graph window (half-width)

Plots \(x\in[a-w,a+w]\).

Samples (numerical check)

More samples → more reliable numerical verification.

Options Show grid Animate sample points Auto-fit on solve

Ready

Graph

Drag to pan • wheel/pinch to zoom • shaded vertical region is \(|x-a|<\delta\) • horizontal dashed lines are \(L\pm\varepsilon\)

x: 0, y: 0, zoom: 1

Result

Enter data and click Solve.

Rate this calculator

0.0 /5 (0 ratings)

Be the first to rate.

Your rating

Name (optional) Review (optional)

You can update your rating any time.

7. Epsilon Vs Delta Proof Assistant — Theory

The rigorous definition of a limit uses \(\varepsilon\) and \(\delta\). Intuitively, \(\varepsilon\) controls how close \(f(x)\) must be to \(L\), and \(\delta\) controls how close \(x\) must be to \(a\).

1) Definition of \(\lim_{x\to a} f(x)=L\)

\[ \lim_{x\to a} f(x)=L \quad\Longleftrightarrow\quad \forall \varepsilon>0\ \exists \delta>0\ \text{s.t.}\ 0<|x-a|<\delta \Rightarrow |f(x)-L|<\varepsilon. \]

The key is: \(\delta\) is allowed to depend on \(\varepsilon\), but not on \(x\).

2) The standard proof pattern

Start with the target inequality: \(|f(x)-L|<\varepsilon\).
Rewrite it until you obtain a condition of the form \(|x-a|<(\cdots)\).
Choose \(\delta\) to make that condition true (often \(\delta=\min(R,\cdots)\)).
Finish: if \(0<|x-a|<\delta\), then \(|f(x)-L|<\varepsilon\).

3) Worked example: \(\lim_{x\to 2}(3x-1)=5\)

Let \(\varepsilon>0\). We want \(|(3x-1)-5|<\varepsilon\):

\[ |(3x-1)-5| =|3x-6| =|3(x-2)| =3|x-2|. \]

So it suffices to ensure \(3|x-2|<\varepsilon\), i.e. \(|x-2|<\varepsilon/3\). Choose \(\delta=\varepsilon/3\). Then \(0<|x-2|<\delta\Rightarrow |(3x-1)-5|<\varepsilon\).

4) Why \(\delta=\min(R,\cdots)\) appears

For many non-linear functions, you first restrict \(x\) to a small neighborhood \(|x-a|

\[ |x^2-a^2|=|x-a||x+a|. \]

If you also require \(|x-a|<1\), then \(|x+a|\le |x-a|+2|a|<1+2|a|\). So \(|x^2-a^2|< (1+2|a|)\,|x-a|\), and you can take \(\delta=\min\!\left(1,\frac{\varepsilon}{1+2|a|}\right)\).

5) Mean Value Theorem / “slope bound” idea

If \(f\) is differentiable near \(a\) and \(|f'(x)|\le M\) for \(|x-a|\le R\), then for \(|x-a|

\[ |f(x)-f(a)| \le M|x-a|. \]

Hence a common choice is \[ \delta=\min\left(R,\frac{\varepsilon}{M}\right). \] This calculator can estimate such an \(M\) numerically to suggest a \(\delta\).

6) What the graph shows

The \(\varepsilon\)-band is the horizontal strip \(L-\varepsilon
The \(\delta\)-interval is the vertical strip \(a-\delta
The goal is: for \(x\) in the \(\delta\)-interval (excluding \(a\)), the graph lies inside the \(\varepsilon\)-band.

7) Challenge mode

Challenge mode picks a random \(\varepsilon\). Your task: produce a valid \(\delta(\varepsilon)\) and verify it. This helps build intuition that \(\delta\) should shrink as \(\varepsilon\) shrinks.

8) Important note

Numerical verification provides strong evidence but is not a fully rigorous proof by itself. Use the generated inequality steps and the LaTeX template as a starting point, then refine the analytic bounding argument for a final proof.

Frequently Asked Questions

What does epsilon-delta mean in the definition of a limit?

It means that for every epsilon>0 there exists a delta>0 such that if 0<|x-a|<delta then |f(x)-L|<epsilon. Epsilon controls how close f(x) must be to L, and delta controls how close x must be to a.

How do I choose a delta for a given epsilon?

Start from the target inequality |f(x)-L|<epsilon and algebraically bound it by something involving |x-a|. Then pick delta to guarantee that bound, often using a choice like delta=min(R, epsilon/M) when a local slope bound M is used.

How does the calculator verify my delta?

In Verify mode it samples many x-values that satisfy 0<|x-a|<delta and checks whether |f(x)-L|<epsilon holds at those samples. This provides strong evidence that your delta works for the chosen epsilon.

Why can numerical verification pass but still not be a fully rigorous proof?

Sampling checks only finitely many points, while the definition requires the inequality to hold for all x in the delta interval (excluding a). Use the calculator output as guidance and complete the argument with analytic inequalities.