b2KIT

Epsilon-Delta Proof Trainer

Practice epsilon-delta limit proofs interactively. Given epsilon, find delta that satisfies the definition with visual feedback.

Tested tool guide Tested browser tools Checked August 16, 2026

What Epsilon-Delta Proof Trainer does and how it behaves

For each displayed finite limit problem, the trainer converts the formal definition into a concrete challenge: a positive epsilon is supplied, and you choose a positive delta intended to control every nearby input. The feedback links the horizontal condition 0 < |x - a| < delta to the vertical target |f(x) - L| < epsilon. The point x = a is excluded, as the definition requires. The usual surprise is that delta is rarely unique: a smaller positive value remains valid whenever a larger one has already been justified.

How the result is produced

1

Test the implication

Identify the displayed function, approach point a, claimed limit L, and the trainer's epsilon. Your delta is tested against the implication in the definition: whenever 0 < |x - a| < delta, the output distance must satisfy |f(x) - L| < epsilon. The exercise concerns the punctured input neighborhood, so the actual value f(a) does not decide whether the limit statement holds.

2

Generalize the successful choice

Start with a candidate delta and use the visual response to see whether the permitted horizontal neighborhood stays within the required output tolerance. If the condition fails, revise delta and try again. Passing the current challenge establishes that candidate only for the displayed epsilon. A complete symbolic proof still needs a delta choice, often written as a function of epsilon, that works for every positive epsilon.

Good uses

  • Practicing the transition from an intuitive graph-based limit idea to the quantified condition used in a formal calculus proof.
  • Checking a candidate delta for a specific supplied epsilon before turning the successful numerical relationship into a general written argument.
  • Showing students why the same limit problem can accept many delta values, and why making delta smaller cannot invalidate an already valid choice.

Limits and checks

  • A pass applies to the particular epsilon shown. Repeating a few numerical cases may build confidence, but finitely many successful trials do not establish the phrase "for every epsilon" required by the definition.
  • The result does not identify a unique or optimal delta. If the question you need answered is the largest possible neighborhood, an accepted sufficient value may not answer it.
  • Visual feedback explains the inequalities but is not a written proof. Boundary behavior and every qualifying x must be handled algebraically; apparent agreement in a drawing alone is not enough.

Common questions

Why can several delta values be correct?

Suppose delta_0 works. Any positive delta less than or equal to delta_0 allows no additional x values, so every allowed x was already covered by the successful implication. That is why multiple answers can be correct. Equality at the outer boundary is not required by the standard condition, which uses |x - a| < delta rather than |x - a| <= delta.

Does delta always equal epsilon?

No. The conversion depends on how f changes near a. For f(x) = mx + b with m not equal to 0 and L = ma + b, choosing delta = epsilon / |m| works because |f(x) - L| = |m||x - a|. Any smaller positive delta works too. For nonlinear functions, a different bound may be needed.

References and verification

The behavioral notes were checked against the browser implementation. Standards and primary references below define the relevant format, formula, or platform behavior.

Related Tools