epsilon-delta

Picture a challenge game. A skeptic names a target tolerance epsilon — how close you must get to the answer. You must respond with a margin delta — how close the input must be to guarantee you land inside the tolerance. If you can always win, no matter how tiny the skeptic's epsilon, then the limit holds.

The epsilon–delta language is the quantified machinery that turns the vague phrase ‘gets close to’ into a precise logical statement. The limit of f(x) as x -> a equals L means: for every epsilon > 0 there exists a delta > 0 such that whenever 0 < |x - a| < delta, we have |f(x) - L| < epsilon. The order of the quantifiers is everything — delta is chosen after, and may depend on, epsilon.

This formulation, perfected by Weierstrass, eliminated any appeal to motion, infinitesimals or ‘approaching’ as a physical process. The whole edifice of limits, continuity, derivatives and integrals is built on it. A frequent confusion: |f(x) - L| < epsilon must hold for the chosen delta-neighbourhood — it is not enough that f(x) eventually gets close; it must stay close once x is within delta of a.