Tests edge cases, boundary conditions, and common misconceptions for limits and continuity.
UT-1: Epsilon-Delta Proof with a Non-Polynomial Function
Question:
Prove using an epsilon-delta argument that x→2limx3=8.
A student writes the following “proof”:
For any ε>0Choose δ=ε/12. Then
∣x3−8∣=∣x−2∣⋅∣x2+2x+4∣. If ∣x−2∣<δThen
∣x3−8∣<12⋅δ=ε.
Identify the logical gap in this proof and provide a correct epsilon-delta proof.
Solution:
The student’s proof implicitly assumes ∣x2+2x+4∣≤12 without justification. This must be
shown by first restricting δ to ensure x is close enough to 2 for this bound to hold.
Correct proof:
Let ε>0. We need ∣x3−8∣=∣x−2∣⋅∣x2+2x+4∣<ε.
First, restrict δ≤1 so that ∣x−2∣<1Meaning 1<x<3. On this interval:
x2+2x+4<9+6+4=19
Therefore ∣x2+2x+4∣<19 when ∣x−2∣<1.
Now choose δ=min(1,19ε). If ∣x−2∣<δThen:
∣x3−8∣=∣x−2∣⋅∣x2+2x+4∣<19ε⋅19=ε
The key misconception: students often pick δ as a simple function of ε without
first bounding the non-linear factor. The two-step process (restrict δ to bound the
non-linear part, then relate δ to ε) is essential.
UT-2: L’Hopital’s Rule Applied to a Non-Indeterminate Form
Question:
A student attempts to evaluate x→0limxx+sinx by applying
L’Hopital’s rule:
limx→0xx+sinx=limx→011+cosx=2
(a) Explain why this application of L’Hopital’s rule is invalid. (b) Evaluate the limit correctly
using two different valid methods. (c) Explain why the student’s answer happens to be correct
despite the invalid reasoning.
Solution:
(a) L’Hopital’s rule requires the limit to be of the indeterminate form 00 or
∞∞. Here:
So the limit IS 00 — L’Hopital’s rule is actually valid here. However, the student did
not verify the indeterminate form before applying it. Let us reconsider: the student’s error is
failing to check the conditions. In this case, the conditions happen to be met, so the answer is
correct by coincidence.
Revised question interpretation: Suppose instead the student tries to evaluate
x→1limx−1x2−1 using L’Hopital’s rule and writes:
limx→112x=2
This IS valid (00 form). Now consider
x→∞limxx+sinx. A student applies L’Hopital’s:
limx→∞11+cosx
This limit does not exist (oscillates between 0 and 2). The student concludes the original limit
DNE.
(b) Correct evaluation of x→∞limxx+sinx:
Method 1 (Algebraic):
xx+sinx=1+xsinx
Since −1≤sinx≤1We have ∣sinx/x∣≤1/∣x∣→0 as x→∞. Therefore:
limx→∞xx+sinx=1
Method 2 (Squeeze theorem):−1/x≤sinx/x≤1/xAnd both bounds →0So
sinx/x→0.
(c) The original limit x→0limxx+sinx: L’Hopital gives the
correct answer 2 because the conditions ARE satisfied. The misconception to target is applying
L’Hopital when the limit of the ratio of derivatives does not exist, which does NOT imply the
original limit DNE.
UT-3: Classifying Discontinuities and Continuity Conditions
(a) Find x→1limf(x). (b) Is f continuous at x=1? State all three
conditions for continuity at a point and verify each. (c) Classify the discontinuity at x=1 if
one exists. (d) Classify the discontinuity at x=−1 and explain why it is a different type.
f is NOT continuous at x=1 because condition 3 fails.
(c) Since the limit exists but does not equal the function value, this is a removable
discontinuity. We could make f continuous by redefining f(1)=−1.
(d) At x=−1:
limx→−1x+1x−3
As x→−1+: 0+−4→−∞. As x→−1−: 0−−4→+∞.
The one-sided limits are both infinite but with opposite signs, so this is an infinite
discontinuity (the limit DNE). This differs from x=1 because the limit itself does not exist
at x=−1Whereas at x=1 the limit exists but does not match the function value.
Integration Tests
Tests synthesis of limits and continuity with other topics.
IT-1: Intermediate Value Theorem with Trigonometric Functions (with Derivatives)
Question:
Let g(x)=x3+2x−5+cos(πx). Prove that g(x)=0 has at least one solution in the
interval (0,2). Then determine whether the solution is unique using Rolle’s theorem applied to
g′(x).
Solution:
Existence (IVT):g is continuous everywhere as a sum of continuous functions.
g(0)=0+0−5+cos(0)=−5+1=−4<0
g(2)=8+4−5+cos(2π)=7+1=8>0
Since g(0)<0<g(2) and g is continuous on [0,2]By the IVT there exists c∈(0,2)
such that g(c)=0.
Uniqueness (Rolle’s theorem via monotonicity):
g′(x)=3x2+2−πsin(πx)
We need to show g′(x)>0 for all x. Note that −πsin(πx)≥−πSo:
g′(x)≥3x2+2−π
For x≥0: 3x2+2−π>0 when 3x2>π−2I.e.,
x>(π−2)/3≈0.62.
For x∈[0,0.62]: g′(x)=3x2+2−πsin(πx). Since sin(πx)≤πx for
x≥0 (and πx≤π⋅0.62<2), we have
g′(x)≥3(0)2+2−π(1)=2−π≈−1.14Which is negative. A finer argument is
needed.
A cleaner argument: g′(x)=3x2+2−πsin(πx). Since
∣πsin(πx)∣≤π≈3.14 and 3x2+2≥2We have
g′(x)≥2−3.14=−1.14Which does not prove positivity.
Since g′ changes sign, g is not strictly increasing on all of [0,2]So Rolle’s theorem alone
cannot guarantee uniqueness on this interval. The IVT guarantees at least one root, but uniqueness
cannot be established without a more refined analysis. This is the key insight: the IVT guarantees
existence, but uniqueness requires additional structure.
IT-2: Limits Defining Derivatives at Non-Smooth Points (with Derivatives)
Question:
Let f(x)=∣x2−4∣. Determine whether f is differentiable at x=2 and x=−2 by
evaluating the appropriate limits. For each point where f is not differentiable, classify the
discontinuity of f′.
Since −4=4, f is not differentiable at x=−2 either.
f is continuous at both points (f(2)=f(−2)=0 and the limits equal the function value),
confirming that continuity does not imply differentiability. The discontinuity of f′ at
x=±2 is a jump discontinuity (finite jump from −4 to 4).
IT-3: Limit at Infinity with Parametric Complexity (with Integrals)
Question:
Let F(x)=∫0x1+t2e−t2dt.
(a) Prove that F(x) converges as x→∞ by showing the improper integral
∫0∞1+t2e−t2dt converges. (b) Find
x→∞limx⋅F(x).
Solution:
(a) For t≥0: 0<1+t2e−t2≤e−t2.
Since ∫0∞e−t2dt=2π<∞ (Gaussian
integral), by the comparison test for improper integrals:
∫0∞1+t2e−t2dt≤∫0∞e−t2dt=2π<∞
Therefore F(x) converges to some finite limit
L=∫0∞1+t2e−t2dt as x→∞.
(b) Let L=x→∞limF(x). Since F(x)→L=0We have
x⋅F(x)→∞. A more interesting limit is obtained by considering the tail: let
G(x)=L−F(x)=∫x∞1+t2e−t2dtAnd evaluate
x→∞limx⋅G(x).
x⋅G(x)=x∫x∞1+t2e−t2dt
For large xThe dominant contribution comes from t near x. Substitute u=t−x:
More rigorously:
0<G(x)=∫x∞1+t2e−t2dt<e−x2∫x∞1+t2dt=e−x2(2π−arctanx).
Since 2π−arctanx∼x1 as x→∞:
0<x⋅G(x)<x⋅e−x2⋅xC=Ce−x2→0
Therefore x→∞limx⋅G(x)=0.
Summary
The key principles covered in this topic are linked in the sub-pages above. Focus on understanding
the definitions, applying the formulas or frameworks, and evaluating strengths and limitations of
each approach.
Worked Examples
Worked examples demonstrating the application of key concepts are covered in the detailed sub-pages
linked above.
Common Pitfalls
Confusing terminology or concepts that appear similar but have distinct meanings.
Overlooking key assumptions or boundary conditions that limit applicability.