MathLabs

Grade 11

Limits of functions

The value a function approaches as its input gets arbitrarily close to a point.

IntuitionWhat happens right next to a point

Suppose we cannot evaluate a formula right at x=x0x=x_0 — for instance the difference quotient f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h} at h=0h=0, which gives 00\frac{0}{0}. Even though the point itself is off-limits, we can walk arbitrarily close to x0x_0 from both sides and watch what value f(x)f(x) settles toward. That target value is the limit lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L, and it does not care whether f(x0)f(x_0) even exists.

Curve with a fixed point x0 and a second point x0+h; as h shrinks toward 0, the secant line rotates into the tangent line.
Secant slope f(x0+h)−f(x0)h\frac{f(x_0+h)-f(x_0)}{h}: slide h→0h\to 0 and watch the secant line settle onto the tangent — a limit at h=0h=0 where the formula itself is undefined.

SchoolFormal definition and fundamental limits

Definition: Limit of a function at a point (ε–δ definition)

Let ff be defined on an open interval around x0x_0, possibly excluding x0x_0 itself. We write lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L if for every tolerance ε>0\varepsilon>0 there is a radius δ>0\delta>0 such that ∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon. Notice the strict inequality 0<∣x−x0∣0<|x-x_0|: xx is never allowed to equal x0x_0 in the test.

∀ε>0, ∃δ>0: 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε\forall \varepsilon>0,\ \exists \delta>0:\ 0<|x-x_0|<\delta \Rightarrow |f(x)-L|<\varepsilon

Here ε\varepsilon is the vertical tolerance around LL on the output axis, and δ\delta (delta) is the horizontal window around x0x_0 on the input axis. Two foundational limits — proved by geometry and by monotone bounds — unlock all derivatives of trigonometric, exponential, and logarithmic functions: lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 (with xx in radians) and lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e.

lim⁡x→0sin⁡xx=1,lim⁡x→∞(1+1x)x=e\lim_{x\to 0}\frac{\sin x}{x}=1,\qquad \lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e
One-sided limits vs. two-sided limit at a point
Function and pointLeft / right limitsTwo-sided limit
f(x)=∣x∣xf(x)=\frac{|x|}{x} at x0=0x_0=0Left =−1=-1, right =+1=+1Does not exist (−1≠+1-1\ne +1)
f(x)=x2−1x−1f(x)=\frac{x^2-1}{x-1} at x0=1x_0=1Left =2=2, right =2=2Equals 22 (even though f(1)f(1) is undefined)
f(x)=sin⁡xxf(x)=\frac{\sin x}{x} at x0=0x_0=0Left =1=1, right =1=1Equals 11

UndergraduateKey theorems and proofs

A two-sided limit exists if and only if both one-sided limits exist and are equal: lim⁡x→x0f(x)=L  ⟺  lim⁡x→x0−f(x)=lim⁡x→x0+f(x)=L\lim_{x\to x_0} f(x)=L \iff \lim_{x\to x_0^-} f(x)=\lim_{x\to x_0^+} f(x)=L.

Why is it true?

Walking toward a doorway from the left hallway and from the right hallway only lands you in the same room if both hallways actually meet at the same door.

Proof

(⇒\Rightarrow) Suppose lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L. Given ε>0\varepsilon>0, the ε–δ definition gives δ>0\delta>0 such that 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\varepsilon.

In particular, if x0<x<x0+δx_0<x<x_0+\delta (the right-hand condition) or x0−δ<x<x0x_0-\delta<x<x_0 (the left-hand condition), we automatically have 0<∣x−x0∣<δ0<|x-x_0|<\delta, so ∣f(x)−L∣<ε|f(x)-L|<\varepsilon. Thus both one-sided limits equal LL.

(⇐\Leftarrow) Conversely, suppose both one-sided limits equal LL. For a given ε>0\varepsilon>0, the left-hand limit gives δ1>0\delta_1>0 working on (x0−δ1,x0)(x_0-\delta_1,x_0), and the right-hand limit gives δ2>0\delta_2>0 working on (x0,x0+δ2)(x_0,x_0+\delta_2).

Set δ=min⁡(δ1,δ2)>0\delta=\min(\delta_1,\delta_2)>0. Then any xx with 0<∣x−x0∣<δ0<|x-x_0|<\delta lies either in (x0−δ1,x0)(x_0-\delta_1,x_0) or in (x0,x0+δ2)(x_0,x_0+\delta_2), and in both cases ∣f(x)−L∣<ε|f(x)-L|<\varepsilon. Hence lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L. ■\blacksquare

For xx measured in radians, lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1.

Why is it true?

On a unit circle, a very small arc of length xx, its vertical chord leg sin⁡x\sin x, and the outer tangent segment tan⁡x\tan x become visually indistinguishable as the angle closes toward 00.

Proof

Take 0<x<π20<x<\frac{\pi}{2} on the unit circle with center OO, point A=(1,0)A=(1,0), point B=(cos⁡x,sin⁡x)B=(\cos x,\sin x) on the circle, and point T=(1,tan⁡x)T=(1,\tan x) where the ray OBOB meets the vertical tangent at AA.

The triangle △OAB\triangle OAB sits strictly inside the circular sector OABOAB, which sits strictly inside the right triangle △OAT\triangle OAT. Comparing their areas gives 12sin⁡x<12x<12tan⁡x\frac{1}{2}\sin x < \frac{1}{2}x < \frac{1}{2}\tan x.

Since sin⁡x>0\sin x>0 on (0,π2)(0,\frac{\pi}{2}), multiply through by 2sin⁡x\frac{2}{\sin x}: 1<xsin⁡x<1cos⁡x1 < \frac{x}{\sin x} < \frac{1}{\cos x}. Taking reciprocals reverses the inequalities: cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1.

As x→0+x\to 0^+, cos⁡x→1\cos x\to 1, so the Squeeze Theorem forces lim⁡x→0+sin⁡xx=1\lim_{x\to 0^+}\frac{\sin x}{x}=1. Finally, g(x)=sin⁡xxg(x)=\frac{\sin x}{x} is an even function (g(−x)=sin⁡(−x)−x=−sin⁡x−x=g(x)g(-x)=\frac{\sin(-x)}{-x}=\frac{-\sin x}{-x}=g(x)), so lim⁡x→0−sin⁡xx=1\lim_{x\to 0^-}\frac{\sin x}{x}=1 as well, giving lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1. ■\blacksquare

UndergraduateReal-World Applications and Worked Examples

Function limits turn average rates into instantaneous rates in physics (velocity, acceleration, electric current), justify the paraxial small-angle approximation sin⁡θ≈θ\sin\theta\approx\theta in geometric optics (camera lenses, telescopes) and pendulum mechanics, and turn discrete compounding into continuous compounding via lim⁡x→∞(1+1x)x=e\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x = e.

Example

A falling stone has position s(t)=5t2s(t)=5t^2 (in meters) at time tt (in seconds). Using a limit of average velocities over [2, 2+h][2,\ 2+h], find its instantaneous velocity at t=2t=2 s.

Solution

On the time interval [2, 2+h][2,\ 2+h] with h≠0h\ne 0, the average velocity is vavg(h)=s(2+h)−s(2)h=5(2+h)2−5⋅22hv_{\text{avg}}(h)=\frac{s(2+h)-s(2)}{h}=\frac{5(2+h)^2-5\cdot 2^2}{h}.

Expand the numerator: 5(4+4h+h2)−20=20h+5h2=h(20+5h)5(4+4h+h^2)-20=20h+5h^2=h(20+5h).

Since h≠0h\ne 0 in the limit, cancel hh: vavg(h)=20+5hv_{\text{avg}}(h)=20+5h.

Now take the limit as h→0h\to 0: v(2)=lim⁡h→0(20+5h)=20v(2)=\lim_{h\to 0}(20+5h)=20 m/s. Notice how the 00\frac{0}{0} indeterminate form disappears once we simplify before taking the limit.

Example

In paraxial optics, lens designers replace sin⁡θ\sin\theta in Snell's law n1sin⁡θ1=n2sin⁡θ2n_1\sin\theta_1=n_2\sin\theta_2 with θ\theta (in radians) thanks to lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1. Using the squeeze bound cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1, show that for an incident ray at θ=0.1\theta=0.1 rad (≈5.7∘\approx 5.7^\circ), the relative error θ−sin⁡θsin⁡θ\frac{\theta-\sin\theta}{\sin\theta} is less than 1%1\%.

Solution

From cos⁡x<sin⁡xx<1\cos x < \frac{\sin x}{x} < 1 for 0<θ<π20<\theta<\frac{\pi}{2}, taking reciprocals gives 1<θsin⁡θ<1cos⁡θ1<\frac{\theta}{\sin\theta}<\frac{1}{\cos\theta}.

Subtract 11 across: 0<θ−sin⁡θsin⁡θ<1cos⁡θ−1=1−cos⁡θcos⁡θ0<\frac{\theta-\sin\theta}{\sin\theta}<\frac{1}{\cos\theta}-1=\frac{1-\cos\theta}{\cos\theta}.

Using 1−cos⁡θ=2sin⁡2(θ/2)<2(θ/2)2=θ221-\cos\theta=2\sin^2(\theta/2)<2(\theta/2)^2=\frac{\theta^2}{2} and cos⁡(0.1)>0.99\cos(0.1)>0.99, we get at θ=0.1\theta=0.1: θ−sin⁡θsin⁡θ<0.0050.99≈0.00505\frac{\theta-\sin\theta}{\sin\theta}<\frac{0.005}{0.99}\approx 0.00505, which is about 0.5%<1%0.5\%<1\%.

(Indeed the exact value is ≈0.167%\approx 0.167\%.) This is why the linearized lens formula 1do+1di=1f\frac{1}{d_o}+\frac{1}{d_i}=\frac{1}{f} is extremely accurate for rays close to the optical axis.

Compute lim⁡x→2x2−4x−2\lim_{x\to 2}\frac{x^2-4}{x-2}.

Let f(x)=x+1f(x)=x+1 for x<1x<1 and f(x)=x2f(x)=x^2 for x≥1x\ge 1. What is lim⁡x→1f(x)\lim_{x\to 1} f(x)?

What is lim⁡x→0sin⁡(3x)x\lim_{x\to 0}\frac{\sin(3x)}{x} (with xx in radians)?

Which famous constant is defined by lim⁡x→∞(1+1x)x\lim_{x\to\infty}\left(1+\frac{1}{x}\right)^x?

References

  1. James Stewart (2015). Calculus: Early Transcendentals
  2. David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity