McIntyre MathsMathematics Extension 2
Extension 2 › Proof › Lesson 10

Lesson 10 · Calculus and the squeeze theorem

Mathematics Extension 2 · Proof · Outcome ME2-12-01 · Term 4 · Week 5
Learning intentionTo prove inequalities using calculus, and to use inequalities to find limits with the squeeze theorem.
Success criteria · I can…
  • prove f(x)≥g(x)f(x)\ge g(x) by studying h(x)=f(x)−g(x)h(x)=f(x)-g(x) and its derivative
  • use a minimum value, concavity or a known inequality in a proof
  • state the squeeze theorem and use it to find limits
  • prove lim⁡x→0sin⁡xx=1\displaystyle\lim_{x\to0}\frac{\sin x}{x}=1

Lesson flow

Warm-up

Slide 2
(a) Find the minimum value of f(x)=ex−1−xf(x)=e^x-1-x.
Show answerHide answer
Answer
The minimum value is 00, at x=0x=0. So ex≥1+xe^x\ge1+x for all xx.
Why
f′(x)=ex−1=0f'(x)=e^x-1=0 at x=0x=0, and f′′(x)=ex>0f''(x)=e^x>0, so this is a minimum. f(0)=1−1−0=0f(0)=1-1-0=0.
(b) If h(0)=0h(0)=0 and h′(x)>0h'(x)>0 for x>0x>0, what can you say about h(x)h(x) for x>0x>0?
Show answerHide answer
Answer
h(x)>0h(x)>0 for x>0x>0.
Why
hh is increasing for x>0x>0, so h(x)>h(0)=0h(x)>h(0)=0.
(c) Evaluate lim⁡x→∞1x\displaystyle\lim_{x\to\infty}\frac1x and lim⁡x→0x2\displaystyle\lim_{x\to0}x^2.
Show answerHide answer
Answer
00 and 00.
Why
1x\dfrac1x becomes arbitrarily small as xx grows, and x2→02=0x^2\to0^2=0.
(d) Since −1≤sin⁡x≤1-1\le\sin x\le1, find bounds for sin⁡xx\dfrac{\sin x}x when x>0x>0.
Show answerHide answer
Answer
−1x≤sin⁡xx≤1x-\dfrac1x\le\dfrac{\sin x}x\le\dfrac1x.
Why
Divide the inequality by x>0x>0; the direction does not change. This is used in Example 5.

Inequalities using calculus

Slide 3
Key idea
Three strategies for proving f(x)≥g(x)f(x)\ge g(x)
  1. Start and slope: let h(x)=f(x)−g(x)h(x)=f(x)-g(x). Show h(a)=0h(a)=0 and h′(x)≥0h'(x)\ge0 for x≥ax\ge a. So h(x)≥0h(x)\ge0 for x≥ax\ge a.
  2. Global minimum: show the minimum value of h(x)h(x) on the domain is ≥0\ge0.
  3. Graphs and concavity: a concave down curve lies above its chords and below its tangents (and the reverse for concave up).

Example 1

Prove that ln⁡(1+x)<x\ln(1+x)<x for all x>0x>0.
Show answerHide answer
Answer
Let h(x)=x−ln⁡(1+x)h(x)=x-\ln(1+x) for x>0x>0. Then h(0)=0h(0)=0 and h′(x)=1−11+x=x1+x>0for x>0.h'(x)=1-\frac1{1+x}=\frac x{1+x}>0\quad\text{for }x>0. So hh is increasing, and h(x)>h(0)=0h(x)>h(0)=0 for x>0x>0. Hence ln⁡(1+x)<x\ln(1+x)<x.
Why
This is strategy 1. State the domain and give a reason for every sign. Warm-up (a) was strategy 2.

Example 2 · Trigonometric inequalities

Slide 4

Example 2

(a) Prove that sin⁡x<x\sin x<x for all x>0x>0.
Show answerHide answer
Answer
Let h(x)=x−sin⁡xh(x)=x-\sin x. Then h(0)=0h(0)=0 and h′(x)=1−cos⁡x≥0h'(x)=1-\cos x\ge0, with equality only at isolated points. So hh is increasing, and h(x)>0h(x)>0 for x>0x>0.
Why
Because h′(x)=0h'(x)=0 only at isolated points (x=2πkx=2\pi k), hh is still strictly increasing, so the inequality is strict. Caution: these proofs use ddx(sin⁡x)=cos⁡x\dfrac d{dx}(\sin x)=\cos x, which is itself proved from lim⁡x→0sin⁡xx=1\displaystyle\lim_{x\to0}\frac{\sin x}x=1. They are fine for proving inequalities, but cannot be used to prove that limit (see Example 6).
(b) Prove that cos⁡x≥1−x22\cos x\ge1-\dfrac{x^2}2 for all real xx.
Show answerHide answer
Answer
Let h(x)=cos⁡x−1+x22h(x)=\cos x-1+\dfrac{x^2}2. Then h(0)=0h(0)=0 and h′(x)=x−sin⁡x≥0h'(x)=x-\sin x\ge0 for x≥0x\ge0 by (a). So h(x)≥0h(x)\ge0 for x≥0x\ge0. Since hh is an even function, the result also holds for x<0x<0.
Why
Part (a) is used inside part (b): a “previously obtained inequality”. For the even function, h(−x)=cos⁡(−x)−1+(−x)22=h(x)h(-x)=\cos(-x)-1+\dfrac{(-x)^2}2=h(x).

HSC practice · From a function inequality to a sequence

Slide 5
2023 HSC Q16(b)(i) Show that x>ln⁡xx>\ln x for all x>0x>0.
(ii) Hence, or otherwise, show that en2+n>(n!)2e^{n^2+n}>(n!)^2 for all positive integers nn.
Show answerHide answer
Answer
(i) Let h(x)=x−ln⁡xh(x)=x-\ln x for x>0x>0. Then h′(x)=1−1x=0h'(x)=1-\dfrac1x=0 at x=1x=1. Also h′′(x)=1x2>0h''(x)=\dfrac1{x^2}>0, so x=1x=1 is the minimum, with h(1)=1>0h(1)=1>0. So h(x)>0h(x)>0 for all x>0x>0.
(ii) By (i), ln⁡k<k\ln k<k for each k=1,2,…,nk=1,2,\dots,n. Then ln⁡((n!)2)=2(ln⁡1+ln⁡2+⋯+ln⁡n)<2(1+2+⋯+n)=n(n+1)=n2+n.\ln\left((n!)^2\right)=2\left(\ln1+\ln2+\cdots+\ln n\right)<2(1+2+\cdots+n)=n(n+1)=n^2+n. Since ln⁡\ln is increasing, (n!)2<en2+n(n!)^2<e^{n^2+n}.
Why
Part (i) is strategy 2 (global minimum). In (ii), apply (i) to each term and use 1+2+⋯+n=n(n+1)21+2+\cdots+n=\dfrac{n(n+1)}2. This can also be done by induction. (Wording adapted from the paper.)

Example 3 · Concavity and a famous comparison

Slide 6

Example 3

(a) Use concavity to prove that sin⁡x≥2xπ\sin x\ge\dfrac{2x}\pi for 0≤x≤π20\le x\le\dfrac\pi2.
Show answerHide answer
Answer
y=sin⁡xy=\sin x has y′′=−sin⁡x≤0y''=-\sin x\le0 on [0,π2]\left[0,\dfrac\pi2\right], so it is concave down there. The chord from (0,0)(0,0) to (π2,1)\left(\dfrac\pi2,1\right) is the line y=2xπy=\dfrac{2x}\pi. A concave down curve lies on or above its chord, so sin⁡x≥2xπ\sin x\ge\dfrac{2x}\pi.
Why
Strategy 3. The gradient of the chord is 1−0π/2−0=2π\dfrac{1-0}{\pi/2-0}=\dfrac2\pi. Sketch both graphs.
(b) By finding the maximum of f(x)=ln⁡xxf(x)=\dfrac{\ln x}x, prove that πe<eπ\pi^e<e^\pi.
Show answerHide answer
Answer
f′(x)=1−ln⁡xx2=0f'(x)=\dfrac{1-\ln x}{x^2}=0 at x=ex=e. Also f′>0f'>0 for x<ex<e and f′<0f'<0 for x>ex>e, so the maximum is f(e)=1ef(e)=\dfrac1e. Since π≠e\pi\ne e, ln⁡ππ<1e\dfrac{\ln\pi}\pi<\dfrac1e, so eln⁡π<πe\ln\pi<\pi, that is ln⁡(πe)<ln⁡(eπ)\ln\left(\pi^e\right)<\ln\left(e^\pi\right). Hence πe<eπ\pi^e<e^\pi.
Why
Because x=ex=e is the only maximum, f(π)f(\pi) is strictly less than f(e)f(e). Multiply by eπ>0e\pi>0, then use eln⁡π=ln⁡(πe)e\ln\pi=\ln(\pi^e) and π=ln⁡(eπ)\pi=\ln(e^\pi), and finally the fact that ln⁡\ln is increasing.

Exam practice · Bounds for the harmonic series

Slide 7
Exam practice(i) Show that x1+x<ln⁡(1+x)<x\dfrac x{1+x}<\ln(1+x)<x for x>0x>0.
(ii) By putting x=1kx=\dfrac1k, show that 1k+1<ln⁡(k+1k)<1k\dfrac1{k+1}<\ln\left(\dfrac{k+1}k\right)<\dfrac1k.
(iii) Hence show that ln⁡(n+1)<1+12+13+⋯+1n<1+ln⁡n\ln(n+1)<1+\dfrac12+\dfrac13+\cdots+\dfrac1n<1+\ln n for all integers n≥2n\ge2.
Show answerHide answer
Answer
(i) The right-hand inequality is Example 1. For the left, let h(x)=ln⁡(1+x)−x1+xh(x)=\ln(1+x)-\dfrac x{1+x}. Then h(0)=0h(0)=0 and h′(x)=11+x−1(1+x)2=x(1+x)2>0(x>0),h'(x)=\frac1{1+x}-\frac1{(1+x)^2}=\frac x{(1+x)^2}>0\quad(x>0), so h(x)>0h(x)>0 for x>0x>0.
(ii) 1/k1+1/k=1k+1\dfrac{1/k}{1+1/k}=\dfrac1{k+1} and ln⁡(1+1k)=ln⁡k+1k\ln\left(1+\dfrac1k\right)=\ln\dfrac{k+1}k.
(iii) Write Hn=1+12+⋯+1nH_n=1+\dfrac12+\cdots+\dfrac1n. Sum ln⁡k+1k<1k\ln\dfrac{k+1}k<\dfrac1k for k=1,…,nk=1,\dots,n: the logs telescope to ln⁡(n+1)−ln⁡1\ln(n+1)-\ln1, so ln⁡(n+1)<Hn\ln(n+1)<H_n. Sum 1k+1<ln⁡k+1k\dfrac1{k+1}<\ln\dfrac{k+1}k for k=1,…,n−1k=1,\dots,n-1: Hn−1<ln⁡nH_n-1<\ln n, so Hn<1+ln⁡nH_n<1+\ln n.
Why
Telescoping: ∑k=1nln⁡k+1k=ln⁡21+ln⁡32+⋯+ln⁡n+1n=ln⁡(n+1)\sum_{k=1}^{n}\ln\dfrac{k+1}k=\ln\dfrac21+\ln\dfrac32+\cdots+\ln\dfrac{n+1}n=\ln(n+1). For the second sum the left side is 12+⋯+1n=Hn−1\dfrac12+\cdots+\dfrac1n=H_n-1. At n=1n=1 the right-hand bound is an equality (H1=1=1+ln⁡1H_1=1=1+\ln1), so the strict inequality fails; this is why n≥2n\ge2. Discussion: Hn→∞H_n\to\infty, but very slowly, like ln⁡n\ln n.

The squeeze theorem

Slide 8
Theorem
Squeeze theorem (limit version)

If f(x)≤g(x)≤h(x)f(x)\le g(x)\le h(x) for all xx near kk (or for all large xx), and lim⁡x→kf(x)=lim⁡x→kh(x)=L\displaystyle\lim_{x\to k}f(x)=\lim_{x\to k}h(x)=L, then lim⁡x→kg(x)=L\displaystyle\lim_{x\to k}g(x)=L.

Typical sources of the bounds: −1≤sin⁡θ≤1-1\le\sin\theta\le1, −1≤cos⁡θ≤1-1\le\cos\theta\le1, or an inequality proved earlier. The theorem is also called the sandwich or pinching theorem.

Example 4

Find lim⁡x→0x2sin⁡(1x)\displaystyle\lim_{x\to0}x^2\sin\left(\frac1x\right).
Show answerHide answer
Answer
For x≠0x\ne0, −1≤sin⁡(1x)≤1-1\le\sin\left(\dfrac1x\right)\le1. Multiply by x2≥0x^2\ge0: −x2≤x2sin⁡(1x)≤x2.-x^2\le x^2\sin\left(\frac1x\right)\le x^2. Both −x2-x^2 and x2x^2 tend to 00 as x→0x\to0, so by the squeeze theorem the limit is 00.
Why
You cannot just substitute x=0x=0, as sin⁡(1x)\sin\left(\dfrac1x\right) is not defined there and oscillates wildly. Sketch y=x2y=x^2, y=−x2y=-x^2 and the curve squeezed between them.

Example 5 · A limit at infinity

Slide 9

Example 5

Use the squeeze theorem to find lim⁡x→∞sin⁡xx\displaystyle\lim_{x\to\infty}\frac{\sin x}x.
Show answerHide answer
Answer
For x>0x>0, −1x≤sin⁡xx≤1x-\dfrac1x\le\dfrac{\sin x}x\le\dfrac1x (warm-up (d)). Both bounds tend to 00 as x→∞x\to\infty, so lim⁡x→∞sin⁡xx=0\displaystyle\lim_{x\to\infty}\frac{\sin x}x=0.
Why
The curve oscillates between y=±1xy=\pm\dfrac1x and is squeezed to the xx-axis. Contrast this with lim⁡x→0sin⁡xx\displaystyle\lim_{x\to0}\frac{\sin x}x, the next example.

Example 6 · The fundamental trigonometric limit

Slide 10

Why not use Example 2? Those proofs use ddx(sin⁡x)=cos⁡x\dfrac d{dx}(\sin x)=\cos x, which is proved from this limit. Using them here would be circular, so we use areas.

Example 6

(i) In the unit circle, A=(1,0)A=(1,0), B=(cos⁡x,sin⁡x)B=(\cos x,\sin x) and CC lies on OBOB extended, on the tangent at AA. Compare the areas of △OAB\triangle OAB, sector OABOAB and △OAC\triangle OAC to prove sin⁡x<x<tan⁡x\sin x<x<\tan x for 0<x<π20<x<\dfrac\pi2.
Show answerHide answer
Answer
With radius 11: △OAB\triangle OAB has area 12×1×1×sin⁡x=12sin⁡x\tfrac12\times1\times1\times\sin x=\tfrac12\sin x; sector OABOAB has area 12×12×x=12x\tfrac12\times1^2\times x=\tfrac12x; △OAC\triangle OAC has area 12×OA×AC=12tan⁡x\tfrac12\times OA\times AC=\tfrac12\tan x. The triangle OABOAB lies inside the sector, which lies inside △OAC\triangle OAC, so 12sin⁡x<12x<12tan⁡x,that issin⁡x<x<tan⁡x.\tfrac12\sin x<\tfrac12x<\tfrac12\tan x,\quad\text{that is}\quad \sin x<x<\tan x.
Why
AC=tan⁡xAC=\tan x because △OAC\triangle OAC is right-angled at AA with OA=1OA=1 and angle xx at OO. The sector area 12r2θ\tfrac12r^2\theta comes from geometry, not calculus, so there is no circularity.
(ii) Hence show that cos⁡x<sin⁡xx<1\cos x<\dfrac{\sin x}x<1 for 0<x<π20<x<\dfrac\pi2.
Show answerHide answer
Answer
From sin⁡x<x<tan⁡x\sin x<x<\tan x, divide by sin⁡x>0\sin x>0: 1<xsin⁡x<1cos⁡x1<\dfrac x{\sin x}<\dfrac1{\cos x}. Take reciprocals (all positive, so the inequalities reverse): cos⁡x<sin⁡xx<1\cos x<\dfrac{\sin x}x<1.
Why
Dividing tan⁡x=sin⁡xcos⁡x\tan x=\dfrac{\sin x}{\cos x} by sin⁡x\sin x gives 1cos⁡x\dfrac1{\cos x}. Taking reciprocals of positive numbers reverses the inequality.
(iii) Hence prove that lim⁡x→0sin⁡xx=1\displaystyle\lim_{x\to0}\frac{\sin x}x=1.
Show answerHide answer
Answer
As x→0+x\to0^+, cos⁡x→1\cos x\to1 and the upper bound is the constant 11, so by the squeeze theorem lim⁡x→0+sin⁡xx=1\displaystyle\lim_{x\to0^+}\frac{\sin x}x=1. The function sin⁡xx\dfrac{\sin x}x is even, so the limit from the left is also 11. Hence lim⁡x→0sin⁡xx=1\displaystyle\lim_{x\to0}\frac{\sin x}x=1.
Why
This is the limit and the small-angle result used in Extension 1; here is its proof. For the left limit, sin⁡(−x)−x=sin⁡xx\dfrac{\sin(-x)}{-x}=\dfrac{\sin x}x. Discussion: what is a proof allowed to assume?

Spot the flaw · Circular reasoning

Slide 11

A student wrote this. Find the flaw, explain why it matters, then write a correct version.

Student’s claim

lim⁡x→0sin⁡xx=1\displaystyle\lim_{x\to0}\frac{\sin x}x=1.

  1. lim⁡x→0sin⁡xx=lim⁡x→0sin⁡x−sin⁡0x−0\displaystyle\lim_{x\to0}\frac{\sin x}x=\lim_{x\to0}\frac{\sin x-\sin0}{x-0}.
  2. This is the derivative of sin⁡x\sin x at x=0x=0, which is cos⁡0=1\cos0=1. □
Spot the flawFind the flaw and write a correct version.
Show answerHide answer
Answer
Flaw: the argument is circular. The result ddx(sin⁡x)=cos⁡x\dfrac d{dx}(\sin x)=\cos x is derived from first principles using lim⁡h→0sin⁡hh=1\displaystyle\lim_{h\to0}\frac{\sin h}h=1, so line 2 assumes what is being proved.
Correct version: Example 6. Compare areas to get sin⁡x<x<tan⁡x\sin x<x<\tan x, then squeeze.
Why
A proof may only assume results that do not depend on the statement being proved. In Extension 1 the derivative of sin⁡x\sin x was taken on trust; Example 6 is the missing foundation.

HSC practice · Squeezing a series to e

Slide 12
Adapted from 2022 HSC Q14(b)(v)It can be shown that for all integers n≥0n\ge0: 0≤1−1e∑r=0n1r!≤1(n+1)!.0\le1-\frac1e\sum_{r=0}^{n}\frac1{r!}\le\frac1{(n+1)!}. Use this to show that lim⁡n→∞∑r=0n1r!=e\displaystyle\lim_{n\to\infty}\sum_{r=0}^{n}\frac1{r!}=e.
Show answerHide answer
Answer
As n→∞n\to\infty, 1(n+1)!→0\dfrac1{(n+1)!}\to0. The lower bound is 00, so by the squeeze theorem 1−1e∑r=0n1r!→01-\dfrac1e\displaystyle\sum_{r=0}^{n}\frac1{r!}\to0. Therefore 1e∑r=0n1r!→1\dfrac1e\displaystyle\sum_{r=0}^{n}\frac1{r!}\to1, that is ∑r=0n1r!→e\displaystyle\sum_{r=0}^{n}\frac1{r!}\to e.
Why
The squeeze theorem applies to sequences as well as functions. The earlier parts of the original question use integration by parts on ∫01xne−x dx\displaystyle\int_0^1x^ne^{-x}\,dx, which we revisit in the Integration unit. (Earlier parts omitted; wording adapted from the paper.)

Which method? · The whole unit

Slide 13

For each statement, name the method you would use and write the first line of the proof. Then prove any two.

(a) 1+3+5+⋯+(2n−1)=n21+3+5+\cdots+(2n-1)=n^2 for n≥1n\ge1.
Show answerHide answer
Answer
Method: induction on a series (or the AP sum formula). First line: P(1)P(1): 1=121=1^2.
Why
Assume ∑r=1k(2r−1)=k2\sum_{r=1}^{k}(2r-1)=k^2, then add the next term: k2+(2k+1)=(k+1)2k^2+(2k+1)=(k+1)^2.
(b) ex≥1+xe^x\ge1+x for all real xx.
Show answerHide answer
Answer
Method: calculus, global minimum. First line: let h(x)=ex−1−xh(x)=e^x-1-x; then h′(x)=ex−1=0h'(x)=e^x-1=0 at x=0x=0.
Why
h′′(x)=ex>0h''(x)=e^x>0, so h(0)=0h(0)=0 is the minimum, hence h(x)≥0h(x)\ge0 (warm-up (a)).
(c) 3n>n33^n>n^3 for all integers n≥4n\ge4.
Show answerHide answer
Answer
Method: induction with an inequality. First line: P(4)P(4): 34=81>64=433^4=81>64=4^3.
Why
Assume 3k>k33^k>k^3 with k≥4k\ge4. Then 3k+1>3k3≥(k+1)33^{k+1}>3k^3\ge(k+1)^3, because (1+1k)3≤(54)3<3\left(1+\dfrac1k\right)^3\le\left(\dfrac54\right)^3<3 for k≥4k\ge4. (For n=3n=3 the two sides are equal, so the start is n=4n=4.)
(d) log⁡37\log_3 7 is irrational.
Show answerHide answer
Answer
Method: proof by contradiction. First line: suppose log⁡37=pq\log_37=\dfrac pq with p,qp,q positive integers.
Why
Then 3p/q=73^{p/q}=7, so 3p=7q3^p=7^q. The left side is divisible by 33 but the right side is not, a contradiction. (A parity argument does not work here, as both sides are odd.)
(e) lim⁡x→∞cos⁡xx2=0\displaystyle\lim_{x\to\infty}\frac{\cos x}{x^2}=0.
Show answerHide answer
Answer
Method: squeeze theorem. First line: for x>0x>0, −1x2≤cos⁡xx2≤1x2-\dfrac1{x^2}\le\dfrac{\cos x}{x^2}\le\dfrac1{x^2}.
Why
Both bounds tend to 00 as x→∞x\to\infty, so the limit is 00.
(f) For integers nn, if n3n^3 is even, then nn is even.
Show answerHide answer
Answer
Method: contrapositive. First line: suppose nn is odd, so n=2k+1n=2k+1.
Why
Then n3=8k3+12k2+6k+1=2(4k3+6k2+3k)+1n^3=8k^3+12k^2+6k+1=2\left(4k^3+6k^2+3k\right)+1 is odd. So if nn is odd then n3n^3 is odd, which is the contrapositive of the statement.

Exit ticket

Slide 14
Using cos⁡x≥1−x22\cos x\ge1-\dfrac{x^2}2 (Example 2), prove that sin⁡x>x−x36\sin x>x-\dfrac{x^3}6 for all x>0x>0.
Show answerHide answer
Answer
Let h(x)=sin⁡x−x+x36h(x)=\sin x-x+\dfrac{x^3}6. Then h(0)=0h(0)=0 and h′(x)=cos⁡x−1+x22≥0h'(x)=\cos x-1+\dfrac{x^2}2\ge0 by Example 2(b), with equality only at isolated points. So hh is increasing, and h(x)>0h(x)>0 for x>0x>0, that is sin⁡x>x−x36\sin x>x-\dfrac{x^3}6.
Why
Same pattern each time: build hh, check h(0)=0h(0)=0, and sign h′h' using the previous inequality. Together with Example 2(a): x−x36<sin⁡x<xx-\dfrac{x^3}6<\sin x<x for x>0x>0, another squeeze for sin⁡xx\dfrac{\sin x}x.