Limits · Foundational

Why Limits Matter

The quiet idea that makes continuity, derivatives, and integrals possible.

Calculus begins with an uncomfortable question: how can we reason exactly about a process that never quite arrives? A secant line becomes a tangent. A time interval shrinks toward zero. A many-sided polygon approaches a circle. In each case, the object we want appears only at the end of an endless approach.

The problem with “at zero”

Suppose an object has position s(t)=t2s(t) = t^2. Its average velocity from time t=2t=2 to t=2+ht=2+h is

s(2+h)s(2)h=(2+h)24h=4+h.\frac{s(2+h)-s(2)}{h}=\frac{(2+h)^2-4}{h}=4+h.

We want the instantaneous velocity at t=2t=2. Setting h=0h=0 in the original fraction divides by zero, but the simplified expression reveals what happens as hh gets close to zero: 4+h4+h gets close to 44.

Nearness, made precise

The phrase “as close as we like” is doing serious work. A limit is not a guess based on a graph. It is a promise: every requested accuracy in the output can be met by choosing a sufficiently small neighborhood in the input.

A hole does not decide a limit

Consider

f(x)=x21x1.f(x)=\frac{x^2-1}{x-1}.

At x=1x=1, the expression is undefined. But for every x1x\ne1, it simplifies to x+1x+1. Therefore,

limx1x21x1=2.\lim_{x\to1}\frac{x^2-1}{x-1}=2.

Limits create the machinery of calculus

A derivative is a limit of average rates of change:

f(x)=limh0f(x+h)f(x)h.f'(x)=\lim_{h\to0}\frac{f(x+h)-f(x)}{h}.

An integral is a limit of finite sums:

abf(x)dx=limni=1nf(xi)Δx.\int_a^b f(x)\,dx=\lim_{n\to\infty}\sum_{i=1}^{n} f(x_i^*)\,\Delta x.

These formulas work because a limit can extract an exact value from an indefinitely refining process.

The larger idea

Limits are a bridge between the finite and the infinite. They do not ask us to complete infinitely many steps. They ask whether the pattern of those steps determines one unavoidable destination.

Prove a limit from the definition

To prove limx2(3x+1)=7\lim_{x\to2}(3x+1)=7, note (3x+1)7=3x2|(3x+1)-7|=3|x-2|. Given ε>0\varepsilon>0, choose δ=ε/3\delta=\varepsilon/3. Then 0<x2<δ0<|x-2|<\delta forces the output error below ε\varepsilon. We work backward to design δ\delta, then forward to verify it.

Check your understanding

Can a limit exist where the function is undefined?

Show the reasoningYes. The condition $0<|x-a|$ excludes the point, so a removable hole does not determine nearby behavior.

Continue exploring

Connections

Related concepts

ContinuityContinuity: When Nearby Inputs Stay Nearby

Applications

  • instantaneous velocity
  • optimization
  • infinite series