Did you know? The graph of sin(1/x) oscillates endlessly near zero and has no limit there. Yet multiply it by x² and the result has a perfectly definite limit: zero. We do not need to know the exact value of the sine at every point. We only need to know that its size can never exceed one.
For a JC2 learner searching for a JC2 H3 Mathematics tutor in Bukit Timah, the squeeze theorem is an important way of turning inequalities into rigorous limit proofs. Singapore–Cambridge H3 Mathematics (9820) explicitly adds an introduction to limits and expects mathematical reasoning, while the squeeze theorem is a connected technique for applying those requirements rather than a separately named additional-content chapter.
Quick answer: If g(x)≤f(x)≤h(x) near the point of interest and both outer functions approach the same limit L, then f(x) also approaches L. The point itself need not be in the domain. For a sequence, the same reasoning works with bounds holding for every sufficiently large index. A useful equivalent form is |f(x)−L|≤r(x) with r(x)≥0 and r(x)→0.
Why the two outside bounds matter
Suppose a student wants to find the limit of f(x) as x→0 but f has a complicated oscillation or algebraic definition. If one can prove −x²≤f(x)≤x² for every sufficiently small nonzero x, the outside functions both tend to zero.
The squeeze theorem forces f(x) to tend to zero as well. The entire argument depends on two ingredients: a genuine inequality near the limit point and a common limit for the two bounding functions.
The bounds need not hold at x=0 itself. For f(x)=x²sin(1/x), the expression is undefined at zero, yet the limit exists because the inequality holds for every nonzero x near zero.
Beware of a weak pair of bounds. If 0≤f(x)≤1, the two bounds have different limits, so the squeeze theorem cannot determine f’s limit. The function could be constant, oscillating or have another behaviour within that interval.
A limit proof must name the direction: x→0, x→∞, x→0⁺ or n→∞. An inequality valid only on the positive side does not automatically establish a two-sided limit.
This is why an H3 proof should display its domain, inequality and bounding limits before stating the conclusion. The theorem is short, but its hypotheses do the actual work.
Worked example: an oscillating function with limit zero
Let f(x)=x²sin(1/x) for x≠0. The sine function always lies between −1 and 1. Multiplying by x², which is nonnegative, gives −x²≤x²sin(1/x)≤x².
As x→0, both −x² and x² approach zero. The squeeze theorem therefore proves lim_{x→0} x²sin(1/x)=0.
An even shorter presentation starts with |sin(1/x)|≤1, so |x²sin(1/x)|≤x². The right side approaches zero. Thus the absolute error between f(x) and zero is controlled by a vanishing function.
The oscillating factor itself has no limit. Along sequences xₙ=1/(π/2+2πn), sin(1/xₙ)=1, while along yₙ=1/(3π/2+2πn), sin(1/yₙ)=−1. Both xₙ and yₙ approach zero from the positive side.
Multiplication by x² suppresses the oscillation’s amplitude. This is a useful conceptual distinction: a function may oscillate without settling, but a sufficiently strong vanishing factor can force its product to converge.
Change x² to x. The bound |xsin(1/x)|≤|x| still gives limit zero. Change the factor to one, and the original sin(1/x) remains nonconvergent. It is the shrinking envelope that matters.
Worked proof: the classical trigonometric limit
The limit of sin x/x as x→0 is one when x is measured in radians. A standard geometric comparison for 0<x<π/2 gives sin x<x<tan x.
Dividing these positive inequalities appropriately yields cos x≤sin x/x≤1. Both bounding functions tend to one as x→0⁺. Therefore the ratio tends to one from the right.
The function sin x/x is even for nonzero x, since sin(−x)/(−x)=sin x/x. Hence its left-hand limit equals its right-hand limit. The two-sided limit is one.
The proof illustrates why the measurement unit matters: the limit equals one under radian measure. A student using degree measure without converting the input would be analysing a differently scaled function.
Once this limit has been established, many related results follow. For a fixed positive integer k, sin(kx)/(kx)→1, so sin(kx)/x=k·sin(kx)/(kx)→k.
The key is to cite or establish a valid inequality for positive x, then handle the left side. Simply applying the ordinary quotient law to sin x/x would produce an indeterminate 0/0 form rather than a proof.
An exact limit involving cosine
Consider (1−cos x)/x² for x≠0. Using the identity 1−cos x=2sin²(x/2), rewrite the ratio as (1/2)[sin(x/2)/(x/2)]².
As x→0, x/2→0 and the sine ratio approaches one. Squaring gives limit one, so the original limit is 1/2.
Now consider (1−cos x)/x. The previous calculation shows that (1−cos x)/x² approaches 1/2, so multiplying by x gives a limit of zero.
These are different results. If a student merely uses 0≤1−cos x≤x²/2 to prove the first limit, they obtain a broad upper bound but not the exact half. For the second limit, the bound is strong enough to squeeze the quotient to zero.
This is a useful lesson in selecting bounds: a valid inequality does not necessarily answer the specific question. Check whether its limiting endpoints agree and whether they agree with the quantity being sought.
Trigonometric limits can therefore combine a known squeeze result, a structural identity and standard limit laws. A good H3 script states which result is used at every transition.
The sequence version: bounded oscillation divided by growth
Take the sequence aₙ=sin n/n for positive integers n. Since −1≤sin n≤1, dividing by positive n gives −1/n≤aₙ≤1/n. Both outside sequences tend to zero, so aₙ→0.
The sequence sin n itself does not approach a fixed value, but its amplitude remains bounded. Dividing by n shrinks every term’s magnitude below 1/n.
Similarly, bₙ=(−1)ⁿ/n tends to zero because |bₙ|=1/n. Its signs alternate forever, yet the absolute values decrease to zero.
Now look at cₙ=(−1)ⁿn/(n+1). The outer bounds ±n/(n+1) approach −1 and 1, not a common number. In fact the even and odd subsequences approach opposite values, so cₙ does not converge.
A common H3 error is to say ‘the oscillation is bounded, so the limit is zero’. Boundedness alone does not imply convergence; the additional shrinking factor is essential.
Another sequence example is aₙ=n²/(n³+1) for n≥1. Its terms are nonnegative and at most n²/n³=1/n, so they approach zero without long polynomial division.
Growth rates through inequalities
The squeeze theorem helps formalise statements that exponentials dominate polynomial powers. For x>0, the exponential series gives e^x≥x³/6. Consequently 0≤x²e^(−x)=x²/e^x≤6/x, which tends to zero as x→∞.
For logarithmic growth, use ln t≤t−1 when t≥1. Set t=x^(1/4) for x≥1. Then ln x=4ln(x^(1/4))≤4[x^(1/4)−1]. Divide by √x to obtain 0≤(ln x)/√x≤4/x^(1/4).
The upper bound tends to zero, hence (ln x)/√x→0 as x→∞. This is a proof about relative growth, not a claim that ln x itself has a finite limit.
The 2027 H3 syllabus explicitly includes comparing polynomial, exponential and logarithmic growth rates. The inequalities here show how that official content can be justified rather than memorised as an informal hierarchy.
An important prerequisite is the sign of the bound. In the logarithmic example, x≥1 ensures ln x≥0 and the chosen upper estimate is valid. A correct H3 solution must state the range where each step applies.
The related growth-rate guide develops the hierarchy; the current article’s distinct emphasis is squeezing an otherwise difficult ratio between two functions with a common limit.
How to avoid a false squeeze argument
A squeeze proof can fail because one inequality is false, because the bounding functions approach different limits, or because the inequality holds on the wrong domain. Each failure needs a different correction.
For example, the statement −x²≤x²sin(1/x)≤x² is valid for real nonzero x because x² is nonnegative. If we instead multiply −1≤sin(1/x)≤1 by a negative x, the inequalities reverse. Using −x≤xsin(1/x)≤x for x<0 would be invalid.
The absolute-value form |xsin(1/x)|≤|x| handles both positive and negative inputs without changing inequality directions. It is often safer than separate signed bounds.
Another problem is squeezing too weakly. Boundedness between −1 and 1 does not imply sin(1/x) has a limit. The outside bounds approach different numbers; a strong proof must produce bounds converging to the same L.
A third mistake is assuming the value at x=a controls the limit. A function may be undefined or assigned a completely different value at a yet still have the same limit. Limits describe behaviour approaching the point, not merely evaluation at the point.
Finally, not every unfamiliar limit needs squeeze. If ordinary limit laws or algebraic factorisation resolve a function directly, use them. The syllabus values choosing and explaining a suitable method, not using one named theorem in every solution.
72 original squeeze-theorem and bounding clinics
1. An oscillating product
Worked answer: For x≠0, |x²sin(1/x)|≤x², so its limit at zero is zero.
Proof habit: The envelope x² approaches zero even though the sine factor does not converge. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
2. A first-power envelope
Worked answer: For x≠0, |xsin(1/x)|≤|x|, so the limit at zero is zero.
Proof habit: A bounded oscillation multiplied by a vanishing factor is squeezed. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
3. A cosine envelope
Worked answer: For x≠0, |x²cos(1/x)|≤x², so the limit at zero is zero.
Proof habit: The particular oscillating bounded function can change without changing the reasoning. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
4. An even faster oscillation
Worked answer: For x≠0, |x²sin(1/x²)|≤x², so the limit is zero.
Proof habit: Faster internal oscillation does not defeat a shrinking amplitude bound. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
5. A different vanishing factor
Worked answer: For x≠0, |xsin(1/x²)|≤|x|, so the limit is zero.
Proof habit: The outside envelope, not the frequency, determines this squeeze. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
6. An absolute-value factor
Worked answer: For x≠0, ||x|sin(1/x)|≤|x|, giving limit zero.
Proof habit: Absolute-value bounds work on both sides of the limit point. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
7. Right-sided square root
Worked answer: As x→0⁺, |√x sin(1/x)|≤√x, so the limit is zero.
Proof habit: Because √x is real only for x≥0, state the one-sided domain. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
8. A product with an offset
Worked answer: For x≠0, 0≤x²[1+sin(1/x)]≤2x², so the limit is zero.
Proof habit: A nonnegative shifted oscillation can be squeezed by vanishing upper bounds. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
9. Oscillation without damping
Worked answer: sin(1/x) itself has no limit as x→0.
Proof habit: Boundedness between −1 and 1 is insufficient because the outside limits differ. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
10. Reassigning the central value
Worked answer: Defining f(0)=5 and f(x)=x²sin(1/x) for x≠0 still gives limit zero.
Proof habit: A limit depends on nearby values, not the isolated value at the point. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
11. A bounded oscillating example
Worked answer: The function [1+sin(1/x)]/2 lies between zero and one but has no limit at zero.
Proof habit: The squeeze bounds must tend to the same value to be decisive. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
12. Sine ratio
Worked answer: lim_{x→0} sin x/x=1 in radian measure.
Proof habit: For positive small x, cos x≤sin x/x≤1; parity gives the other side. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
13. Sine of three x
Worked answer: lim_{x→0} sin(3x)/x=3.
Proof habit: Write it as 3[sin(3x)/(3x)] and use the standard sine-ratio limit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
14. Sine of five x
Worked answer: lim_{x→0} sin(5x)/x=5.
Proof habit: The scale factor stays outside the ratio whose limit is one. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
15. Two sine ratios
Worked answer: lim_{x→0} sin(3x)/sin(2x)=3/2.
Proof habit: Multiply and divide by 3x and 2x, then combine the two standard limits. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
16. Squared sine ratio
Worked answer: lim_{x→0} sin²x/x²=1.
Proof habit: The square of a function approaching one also approaches one. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
17. Sine squared divided by x
Worked answer: lim_{x→0} sin²x/x=0.
Proof habit: Because |sin x|≤|x|, the absolute ratio is at most |x|. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
18. Cosine difference over x
Worked answer: lim_{x→0}(1−cos x)/x=0.
Proof habit: Use 0≤1−cos x≤x²/2, then divide carefully and use absolute values. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
19. Cosine difference over x²
Worked answer: lim_{x→0}(1−cos x)/x²=1/2.
Proof habit: Rewrite using 1−cos x=2sin²(x/2), then use the sine-ratio limit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
20. Cosine of three x
Worked answer: lim_{x→0}[1−cos(3x)]/x²=9/2.
Proof habit: Substitute u=3x into the standard cosine-ratio identity. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
21. Small-angle sine of x²
Worked answer: lim_{x→0} sin(x²)/x=0.
Proof habit: Since |sin(x²)|≤x², the absolute ratio is bounded by |x|. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
22. Small-angle sine of x² ratio
Worked answer: lim_{x→0} sin(x²)/x²=1.
Proof habit: Set u=x² and apply the standard sine-ratio limit as u→0⁺. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
23. A bounded rational factor
Worked answer: lim_{x→0} x²/(1+x²)=0.
Proof habit: The function is nonnegative and at most x². Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
24. Absolute rational ratio
Worked answer: lim_{x→0}|x|/(1+|x|)=0.
Proof habit: The quotient is between zero and |x|. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
25. A damped rational oscillation
Worked answer: lim_{x→0} x²sin(1/x)/(1+x²)=0.
Proof habit: Its absolute value is at most x²/(1+x²), which tends to zero. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
26. A sequence with alternating sign
Worked answer: aₙ=(−1)ⁿ/n tends to zero.
Proof habit: Its absolute value is exactly 1/n, independent of sign. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
27. A sequence with squared denominator
Worked answer: aₙ=(−1)ⁿ/n² tends to zero.
Proof habit: Its absolute value is 1/n², a vanishing positive bound. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
28. An oscillating sine sequence
Worked answer: sin n/n tends to zero.
Proof habit: The numerator remains between −1 and 1, so the quotient lies between ±1/n. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
29. Positive shifted oscillation
Worked answer: [1+sin n]/n tends to zero.
Proof habit: It lies between zero and 2/n for positive integers n. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
30. Cosine divided by a square root
Worked answer: cos n/√n tends to zero.
Proof habit: The numerator is bounded by one and the denominator grows without bound. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
31. A bounded sequence product
Worked answer: If |bₙ|≤5 and aₙ→0, then aₙbₙ→0.
Proof habit: The product’s absolute value is at most 5|aₙ|. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
32. A sequence rational bound
Worked answer: n²/(n³+1) tends to zero.
Proof habit: For n≥1 it lies between zero and 1/n. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
33. Another rational sequence
Worked answer: n/(n²+1) tends to zero.
Proof habit: The positive quotient is at most 1/n. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
34. A third rational sequence
Worked answer: n³/(n⁴+5) tends to zero.
Proof habit: For n≥1 it is at most n³/n⁴=1/n. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
35. A ratio approaching one
Worked answer: n/(n+1) tends to one.
Proof habit: Its difference from one is 1/(n+1), which approaches zero. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
36. An oscillation that persists
Worked answer: (−1)ⁿn/(n+1) does not converge.
Proof habit: Even and odd subsequences approach one and minus one respectively. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
37. Why bounds can fail
Worked answer: The inequalities −1≤sin n≤1 cannot prove sin n has limit zero.
Proof habit: The bounding constants approach different numbers. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
38. A sequence epsilon check
Worked answer: If |aₙ|≤1/n, then for n>1/ε we have |aₙ|<ε.
Proof habit: A vanishing numerical bound can be translated into a formal epsilon argument. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
39. A function epsilon check
Worked answer: For |x²sin(1/x)|≤x², choose |x|<√ε to make the error less than ε.
Proof habit: The squeeze estimate supports a direct epsilon–delta proof. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
40. An infinite-domain sine ratio
Worked answer: lim_{x→∞} sin x/x=0.
Proof habit: For x>0, |sin x/x|≤1/x, a vanishing bound. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
41. An infinite-domain cosine ratio
Worked answer: lim_{x→∞} cos x/x²=0.
Proof habit: Its absolute value is at most 1/x². Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
42. A damped exponential sine
Worked answer: lim_{x→∞}e^(−x)sin x=0.
Proof habit: Its absolute value is at most e^(−x), which vanishes. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
43. Another damped exponential
Worked answer: lim_{x→∞}x²e^(−x)=0.
Proof habit: Using e^x≥x³/6 gives 0≤x²/e^x≤6/x for x>0. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
44. Logarithm versus square root
Worked answer: lim_{x→∞}(ln x)/√x=0.
Proof habit: For x≥1, ln x≤4(x^(1/4)−1), giving an upper bound 4/x^(1/4). Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
45. Logarithm versus x
Worked answer: lim_{x→∞}(ln x)/x=0.
Proof habit: For x≥1, write ln x=2ln√x≤2(√x−1), then divide by x. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
46. Square root versus x
Worked answer: lim_{x→∞}√x/x=0.
Proof habit: For x>0 it equals 1/√x, which vanishes. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
47. Oscillating square-root input
Worked answer: lim_{x→∞}sin√x/x=0.
Proof habit: Its absolute value is at most 1/x for positive x. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
48. Positive reciprocal square
Worked answer: lim_{x→∞}1/(1+x²)=0.
Proof habit: For x≥1 it is no greater than 1/x². Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
49. Large-domain rational x
Worked answer: lim_{x→∞}x/(1+x²)=0.
Proof habit: For x>0 the nonnegative quotient is at most 1/x. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
50. A limit at infinity with persistent amplitude
Worked answer: xsin x does not approach zero as x→∞.
Proof habit: Its amplitude grows rather than shrinks; the bounds ±x do not share a finite limit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
51. A false zero-over-zero rule
Worked answer: The expression sin x/x near zero has 0/0 form, not automatic limit zero.
Proof habit: Ordinary quotient limits need a nonzero denominator limit; use another argument here. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
52. The point can be undefined
Worked answer: xsin(1/x) has a limit at zero even though f(0) is undefined.
Proof habit: A punctured-neighbourhood bound is sufficient for a limit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
53. One-sided bounds only
Worked answer: √x sin(1/x) has right-hand limit zero as x→0⁺.
Proof habit: Do not claim a real two-sided limit when negative inputs are outside the domain. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
54. Sign of multiplication
Worked answer: Multiplying inequalities by x<0 reverses their directions.
Proof habit: Absolute-value estimates avoid accidentally invalid signed bounds. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
55. A common target L
Worked answer: If |f(x)−3|≤x² near zero, then lim f(x)=3.
Proof habit: The deviation from three is bounded by a quantity tending to zero. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
56. Another target L
Worked answer: If |f(x)+2|≤|x| near zero, then lim f(x)=−2.
Proof habit: Squeeze can establish nonzero limits through error bounds. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
57. A general bounded product
Worked answer: If g is bounded near a and f(x)→0, then f(x)g(x)→0.
Proof habit: A uniform bound on |g| squeezes the product even if g has no limit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
58. Not all bounded functions converge
Worked answer: The function cos(1/x) stays between −1 and 1 but has no limit as x→0.
Proof habit: Boundedness is useful only when paired with shrinking outer bounds. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
59. Nonmatching outer limits
Worked answer: From 0≤f(x)≤1 alone, no limit value follows.
Proof habit: Different possible middle functions satisfy the inequality. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
60. Outer limits same but no equality at point
Worked answer: If 2−|x|≤f(x)≤2+|x| for x≠0 near zero, then lim f=2.
Proof habit: Only nearby bounds matter; f(0) can be assigned separately. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
61. A continuous constant bound
Worked answer: If 1−x²≤f(x)≤1+x² near zero, then lim f=1.
Proof habit: Both outer functions approach one, forcing the middle limit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
62. A squeeze for a sign-changing sequence
Worked answer: If −2/n≤aₙ≤3/n for n≥1, then aₙ→0.
Proof habit: The bounding sequences need not be symmetric, only share the limit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
63. A root of a sequence
Worked answer: If 0≤aₙ≤1/√n, then aₙ→0.
Proof habit: Any positive envelope approaching zero can serve as a bound. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
64. The wrong inequality direction
Worked answer: If g≤f but f is not bounded above by something approaching the same limit, squeeze cannot conclude.
Proof habit: A one-sided estimate alone does not supply the whole theorem. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
65. An unproved bound
Worked answer: Claiming |sin(1/x)|≤x² is false for many small x.
Proof habit: Check inequalities before building a limit proof on them. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
66. A verified sine bound
Worked answer: The inequality |sin t|≤1 holds for every real t.
Proof habit: This robust global bound is valid even when t=1/x becomes huge. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
67. A verified small-angle bound
Worked answer: The inequality |sin t|≤|t| holds for real t.
Proof habit: It gives useful limits when the sine argument itself approaches zero. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
68. Why radian measure matters
Worked answer: The limit sin x/x is one when x is measured in radians.
Proof habit: Changing units changes the small-angle scale and must be acknowledged. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
69. Limit law after squeeze
Worked answer: Once sin x/x→1 is established, squaring gives sin²x/x²→1.
Proof habit: Use ordinary limit operations only after their component limits exist. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
70. A final paper audit
Worked answer: State where the inequality holds, calculate both bounding limits and match the requested direction.
Proof habit: A short proof is rigorous when every hypothesis of the theorem is explicit. Before concluding, verify that the two outside limits agree and that the bounds hold throughout the relevant neighbourhood or sequence tail.
Seven-session JC2 tutor and home-practice route
Session one begins with the theorem itself. Have students write the inequalities g≤f≤h and say precisely what is meant by the two bounding limits agreeing. Use simple polynomial envelopes to establish zero and nonzero target limits.
Session two examines sin(1/x) and x²sin(1/x). Ask why the sine alone fails to converge and why multiplying by a shrinking factor changes the result. A diagram may help but the absolute-value inequality should carry the proof.
Session three derives the radian sine limit using the positive-x comparison cos x≤sin x/x≤1. Then handle negative inputs through symmetry. Use the result to calculate several scaled trigonometric limits.
Session four works with sequences: (−1)ⁿ/n, sin n/n and n²/(n³+1). Compare a vanishing envelope with (−1)ⁿn/(n+1), whose even and odd subsequences fail to agree.
Session five introduces infinity-domain comparisons. Prove that x²e^(−x) and (ln x)/√x vanish using concrete upper bounds rather than only reciting the growth hierarchy.
Session six practises proof criticism. Give an alleged squeeze argument with an inequality holding only for positive inputs or bounds approaching different values. The student must locate the first invalid condition and repair it.
Session seven combines an unfamiliar limit with a short mathematical explanation. Ask for the domain, the bound, the limit of both outer terms and the conclusion in the question’s notation. A calculator may verify examples but should not replace the general argument.
Parents can ask what keeps the middle function trapped, whether the trap narrows to a single value, and whether both left and right sides are covered. These questions expose understanding without needing advanced calculus.
The immutable eduKateSG Mathematics reference near Sixth Avenue MRT describes three-learner Secondary 1 tuition, not a verified JC2 H3 class. Enquire directly about current advanced Mathematics tutoring.
A useful error log distinguishes an unproved inequality, wrong sign after multiplication, mismatched outer limits, forgotten domain and confusion between a value at a point and a limit near it. Those categories guide focused revision.
Frequently asked questions
Is the squeeze theorem separately listed in 9820?
The 2027 H3 Mathematics syllabus includes an introduction to limits and mathematical proof. Squeeze is a standard connected proof technique, presented here as an application rather than a separately named additional-content topic.
Do the bounding functions need to be equal?
No. They need to approach the same limit. Their values may differ at every point near the limit as long as the middle function stays between them.
Can f be undefined at the limit point?
Yes. A function limit describes behaviour near the point, not necessarily the value at the point itself. The inequalities can hold in a punctured neighbourhood.
Does boundedness alone imply convergence?
No. The function sin(1/x) is bounded but has no limit at zero. Multiplying by a vanishing factor can create bounds that do imply convergence.
Can the squeeze theorem prove a nonzero limit?
Yes. If |f(x)−L| is bounded by a nonnegative quantity tending to zero, then f(x) tends to L, whether or not L is zero.
Why must we check left and right limits?
A two-sided limit requires compatible behaviour from both sides where the function is defined. A bound valid only for positive inputs may establish only a right-hand limit.
How does squeeze apply to sequences?
If lower and upper sequences both tend to L and contain a middle sequence for all sufficiently large indices, the middle sequence tends to L.
What is the easiest oscillating example?
The function x²sin(1/x) tends to zero because its absolute value is bounded by x², even though sin(1/x) itself does not settle.
Is sin x/x equal to one at x=0?
The expression is undefined at zero. Its limit is one in radian measure; it can be assigned a value at zero separately without changing that limit.
How should a tutor assess a squeeze proof?
Ask for an exact inequality, its domain, both outer limits and a matching conclusion. Every step should be independent of a graphing calculator’s visual guess.
Official references and connected JC2 Mathematics
The 2027 Singapore–Cambridge H3 Mathematics 9820 syllabus explicitly includes limits, their operations, growth comparisons and mathematical reasoning. This page uses original squeeze proofs to develop those capabilities and does not claim a separate examination chapter.
Continue with limit laws and one-sided limits, growth-rate comparisons, and improper-integral convergence. Each relies on carefully stated domains and justified limiting operations.