Math ClubMath Club
v1 · padrão canônico

Lesson 41 — Formal Limit: ε-δ Definition

The ε-δ definition of limit. Cauchy 1821, Weierstrass 1872. The point where calculus becomes rigorous.

Used in: 2.º ano EM (16-17 anos) · Equiv. Math II japonês · Equiv. Klasse 11 alemã (Analysis) · A-Level Further Maths — Limits

limxaf(x)=L    ε>0,δ>0:0<xa<δf(x)L<ε\lim_{x \to a} f(x) = L \iff \forall \varepsilon > 0, \exists \delta > 0 : 0 < |x - a| < \delta \Rightarrow |f(x) - L| < \varepsilon
Choose your door

Rigorous notation, full derivation, hypotheses

Rigorous definition

How to prove a limit via ε-δ

  1. Write f(x)L|f(x) - L| in terms of xa|x - a|.
  2. For arbitrary \eps>0\eps > 0, find δ=δ(\eps)\delta = \delta(\eps) that makes f(x)L<\eps|f(x) - L| < \eps whenever 0<xa<δ0 < |x - a| < \delta.

Model example: limx2(3x+1)=7\lim_{x \to 2} (3x + 1) = 7

3x+17=3x6=3x2|3x + 1 - 7| = |3x - 6| = 3|x - 2|. Given \eps>0\eps > 0, choose δ=\eps/3\delta = \eps/3. Then x2<δ3x2<\eps|x - 2| < \delta \Rightarrow 3|x - 2| < \eps. ∎

One-sided limits

  • limxa+f(x)=L\lim_{x \to a^+} f(x) = L: 0<xa<δ0 < x - a < \delta (right side only).
  • limxaf(x)=L\lim_{x \to a^-} f(x) = L: 0<ax<δ0 < a - x < \delta (left side only).
  • limxaf(x)=L    limxa+=limxa=L\lim_{x \to a} f(x) = L \iff \lim_{x \to a^+} = \lim_{x \to a^-} = L.

Infinite limits

limxaf(x)=+\lim_{x \to a} f(x) = +\infty: M>0,δ>0:0<xa<δf(x)>M\forall M > 0, \exists \delta > 0 : 0 < |x - a| < \delta \Rightarrow f(x) > M.

limxf(x)=L\lim_{x \to \infty} f(x) = L: \eps>0,N:x>Nf(x)L<\eps\forall \eps > 0, \exists N : x > N \Rightarrow |f(x) - L| < \eps.

Table of the 4 quantifications

TypeQuantification
limxa=L\lim_{x \to a} = L\eps,δ\forall \eps, \exists \delta
limxa=\lim_{x \to a} = \inftyM,δ\forall M, \exists \delta
limx=L\lim_{x \to \infty} = L\eps,N\forall \eps, \exists N
limx=\lim_{x \to \infty} = \inftyM,N\forall M, \exists N

Basic properties

  • Limit of a sum = sum of limits.
  • Limit of a product = product of limits.
  • Limit of a quotient = quotient, if denominator 0\neq 0.

Exercise list

40 exercises · 10 with worked solution (25%)

Application 20Understanding 3Modeling 5Challenge 5Proof 7
  1. Ex. 41.1Application
    limx3(2x+1)\lim_{x \to 3} (2x + 1). (Ans: 7.)
  2. Ex. 41.2Application
    limx0(x2+4x+7)\lim_{x \to 0} (x^2 + 4x + 7).
  3. Ex. 41.3ApplicationAnswer key
    limx2(x24)/(x2)\lim_{x \to 2} (x^2 - 4)/(x - 2). (Ans: 4.)
  4. Ex. 41.4Application
    limx1(x21)/(x1)\lim_{x \to 1} (x^2 - 1)/(x - 1).
  5. Ex. 41.5ApplicationAnswer key
    limx0(x+11)/x\lim_{x \to 0} (\sqrt{x+1} - 1)/x. (Multiply by the conjugate.)
  6. Ex. 41.6ApplicationAnswer key
    limx(3x+1)/(x+5)\lim_{x \to \infty} (3x + 1)/(x + 5). (Ans: 3.)
  7. Ex. 41.7Application
    limx(2x2+3)/(x21)\lim_{x \to \infty} (2x^2 + 3)/(x^2 - 1).
  8. Ex. 41.8Application
    limx0sinx/x\lim_{x \to 0} \sin x / x.
  9. Ex. 41.9Application
    limx0sin(2x)/x\lim_{x \to 0} \sin(2x)/x. (Ans: 2.)
  10. Ex. 41.10Application
    limx0(1cosx)/x2\lim_{x \to 0} (1 - \cos x)/x^2. (Ans: 1/21/2.)
  11. Ex. 41.11Application
    limx(1+1/x)x\lim_{x \to \infty} (1 + 1/x)^x.
  12. Ex. 41.12ApplicationAnswer key
    limx0(ex1)/x\lim_{x \to 0} (e^x - 1)/x.
  13. Ex. 41.13Application
    limx0+1/x\lim_{x \to 0^+} 1/x.
  14. Ex. 41.14ApplicationAnswer key
    limx01/x\lim_{x \to 0^-} 1/x.
  15. Ex. 41.15ApplicationAnswer key
    limx2(x24)/(x25x+6)\lim_{x \to 2} (x^2 - 4)/(x^2 - 5x + 6). (Ans: 4-4.)
  16. Ex. 41.16Application
    limx0sin(5x)/sin(3x)\lim_{x \to 0} \sin(5x)/\sin(3x).
  17. Ex. 41.17Application
    limxx2+1x\lim_{x \to \infty} \sqrt{x^2 + 1} - x. (Ans: 0.)
  18. Ex. 41.18Application
    limx4(x2)/(x4)\lim_{x \to 4} (\sqrt x - 2)/(x - 4).
  19. Ex. 41.19Application
    limx0sin(x2)/x\lim_{x \to 0} \sin(x^2)/x.
  20. Ex. 41.20Application
    limx(lnx)/x\lim_{x \to \infty} (\ln x)/x. (Ans: 0.)
  21. Ex. 41.21ProofAnswer key
    Prove limx5(2x+3)=13\lim_{x \to 5} (2x + 3) = 13 via ε-δ.
  22. Ex. 41.22Proof
    Prove limx3x2=9\lim_{x \to 3} x^2 = 9 via ε-δ.
  23. Ex. 41.23Proof
    Prove that limx01/x\lim_{x \to 0} 1/x does not exist.
  24. Ex. 41.24Proof
    Prove that limx0sin(1/x)\lim_{x \to 0} \sin(1/x) does not exist.
  25. Ex. 41.25ProofAnswer key
    Prove limx1(x3)=1\lim_{x \to 1} (x^3) = 1 via ε-δ.
  26. Ex. 41.26ProofAnswer key
    Prove that the limit, if it exists, is unique.
  27. Ex. 41.27Proof
    Prove the squeeze theorem.
  28. Ex. 41.28Understanding
    Show that if limxaf(x)=L\lim_{x \to a} f(x) = L and limxag(x)=M\lim_{x \to a} g(x) = M, then lim(f+g)=L+M\lim (f + g) = L + M.
  29. Ex. 41.29Understanding
    Explain why f(a)f(a) doesn't need to be defined for limxaf(x)\lim_{x \to a} f(x) to exist. Give an example.
  30. Ex. 41.30Understanding
    Construct a function ff with limx0+f=1\lim_{x \to 0^+} f = 1 and limx0f=1\lim_{x \to 0^-} f = -1. Does limx0f\lim_{x \to 0} f exist?
  31. Ex. 41.31Modeling
    In an RC circuit, V(t)=V(1et/τ)V(t) = V_\infty (1 - e^{-t/\tau}). Compute limtV(t)\lim_{t \to \infty} V(t) and interpret.
  32. Ex. 41.32Modeling
    Instantaneous velocity v(t)=limΔt0(s(t+Δt)s(t))/Δtv(t) = \lim_{\Delta t \to 0} (s(t + \Delta t) - s(t))/\Delta t for s(t)=t2s(t) = t^2.
  33. Ex. 41.33Modeling
    In pharmacokinetics, C(t)=C0ektC(t) = C_0 e^{-kt}. Compute limtC(t)\lim_{t \to \infty} C(t).
  34. Ex. 41.34Modeling
    In control, transfer function H(s)=K/(s+1)H(s) = K/(s+1). Compute lims0H(s)\lim_{s \to 0} H(s) (DC gain).
  35. Ex. 41.35Modeling
    Taylor truncation error: limh0(f(x+h)f(x)hf(x))/h2=f(x)/2\lim_{h \to 0} (f(x+h) - f(x) - hf'(x))/h^2 = f''(x)/2. Verify for f(x)=exf(x) = e^x, x=0x = 0.
  36. Ex. 41.36Challenge
    limx0(tanxx)/x3\lim_{x \to 0} (\tan x - x)/x^3. (Ans: 1/31/3.)
  37. Ex. 41.37Challenge
    limx(x2+xx)\lim_{x \to \infty} (\sqrt{x^2 + x} - x). (Ans: 1/21/2.)
  38. Ex. 41.38Challenge
    limx0ex1xx2\lim_{x \to 0} \frac{e^x - 1 - x}{x^2}.
  39. Ex. 41.39Challenge
    limxπ/2(1sinx)secx\lim_{x \to \pi/2} (1 - \sin x)^{\sec x}.
  40. Ex. 41.40ChallengeAnswer key
    Prove via ε-δ that limx21/x=1/2\lim_{x \to 2} 1/x = 1/2.

Sources

Updated on 2026-04-30 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.