Skip to content

Limits and Continuity -- Diagnostic Tests

Limits and Continuity — Diagnostic Tests

Unit Tests

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 limx2x3=8\displaystyle\lim_{x \to 2} x^3 = 8.

A student writes the following “proof”:

For any ε>0\varepsilon > 0Choose δ=ε/12\delta = \varepsilon / 12. Then x38=x2x2+2x+4|x^3 - 8| = |x - 2| \cdot |x^2 + 2x + 4|. If x2<δ|x - 2| \lt \deltaThen x38<12δ=ε|x^3 - 8| \lt 12 \cdot \delta = \varepsilon.

Identify the logical gap in this proof and provide a correct epsilon-delta proof.

Solution:

The student’s proof implicitly assumes x2+2x+412|x^2 + 2x + 4| \leq 12 without justification. This must be shown by first restricting δ\delta to ensure xx is close enough to 22 for this bound to hold.

Correct proof:

Let ε>0\varepsilon > 0. We need x38=x2x2+2x+4<ε|x^3 - 8| = |x - 2| \cdot |x^2 + 2x + 4| \lt \varepsilon.

First, restrict δ1\delta \leq 1 so that x2<1|x - 2| \lt 1Meaning 1<x<31 \lt x \lt 3. On this interval:

x2+2x+4<9+6+4=19x^2 + 2x + 4 \lt 9 + 6 + 4 = 19

Therefore x2+2x+4<19|x^2 + 2x + 4| \lt 19 when x2<1|x - 2| \lt 1.

Now choose δ=min(1,ε19)\delta = \min\left(1, \dfrac{\varepsilon}{19}\right). If x2<δ|x - 2| \lt \deltaThen:

x38=x2x2+2x+4<ε1919=ε|x^3 - 8| = |x - 2| \cdot |x^2 + 2x + 4| \lt \frac{\varepsilon}{19} \cdot 19 = \varepsilon

The key misconception: students often pick δ\delta as a simple function of ε\varepsilon without first bounding the non-linear factor. The two-step process (restrict δ\delta to bound the non-linear part, then relate δ\delta to ε\varepsilon) is essential.


UT-2: L’Hopital’s Rule Applied to a Non-Indeterminate Form

Question:

A student attempts to evaluate limx0x+sinxx\displaystyle\lim_{x \to 0} \frac{x + \sin x}{x} by applying L’Hopital’s rule:

limx0x+sinxx=limx01+cosx1=2\lim_{x \to 0} \frac{x + \sin x}{x} = \lim_{x \to 0} \frac{1 + \cos x}{1} = 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\frac{0}{0} or \frac{\infty}{\infty}. Here:

\lim_{x \to 0}(x + \sin x) = 0 + 0 = 0 \quad \text{and \quad \lim_{x \to 0} x = 0

So the limit IS 00\frac{0}{0} — 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 limx1x21x1\displaystyle\lim_{x \to 1} \frac{x^2 - 1}{x - 1} using L’Hopital’s rule and writes:

limx12x1=2\lim_{x \to 1} \frac{2x}{1} = 2

This IS valid (00\frac{0}{0} form). Now consider limxx+sinxx\displaystyle\lim_{x \to \infty} \frac{x + \sin x}{x}. A student applies L’Hopital’s:

limx1+cosx1\lim_{x \to \infty} \frac{1 + \cos x}{1}

This limit does not exist (oscillates between 0 and 2). The student concludes the original limit DNE.

(b) Correct evaluation of limxx+sinxx\displaystyle\lim_{x \to \infty} \frac{x + \sin x}{x}:

Method 1 (Algebraic):

x+sinxx=1+sinxx\frac{x + \sin x}{x} = 1 + \frac{\sin x}{x}

Since 1sinx1-1 \leq \sin x \leq 1We have sinx/x1/x0|\sin x / x| \leq 1/|x| \to 0 as xx \to \infty. Therefore:

limxx+sinxx=1\lim_{x \to \infty} \frac{x + \sin x}{x} = 1

Method 2 (Squeeze theorem): 1/xsinx/x1/x-1/x \leq \sin x / x \leq 1/xAnd both bounds 0\to 0So sinx/x0\sin x / x \to 0.

(c) The original limit limx0x+sinxx\displaystyle\lim_{x \to 0} \frac{x + \sin x}{x}: L’Hopital gives the correct answer 22 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

Question:

Let ff be defined by:

f(x) = \begin{cases} \dfrac{x^2 - 4x + 3}{x^2 - 1} & \text{if x \neq 1, -1 \\ 1 & \text{if x = 1 \end{cases}

(a) Find limx1f(x)\displaystyle\lim_{x \to 1} f(x). (b) Is ff continuous at x=1x = 1? State all three conditions for continuity at a point and verify each. (c) Classify the discontinuity at x=1x = 1 if one exists. (d) Classify the discontinuity at x=1x = -1 and explain why it is a different type.

Solution:

(a) Factor the numerator and denominator:

\frac{x^2 - 4x + 3}{x^2 - 1} = \frac{(x-1)(x-3)}{(x-1)(x+1)} = \frac{x-3}{x+1} \quad \text{for x \neq 1

limx1f(x)=131+1=22=1\lim_{x \to 1} f(x) = \frac{1 - 3}{1 + 1} = \frac{-2}{2} = -1

(b) The three conditions for continuity at x=ax = a:

  1. f(a)f(a) is defined: f(1)=1f(1) = 1. (Yes)
  2. limxaf(x)\displaystyle\lim_{x \to a} f(x) exists: limx1f(x)=1\displaystyle\lim_{x \to 1} f(x) = -1. (Yes)
  3. limxaf(x)=f(a)\displaystyle\lim_{x \to a} f(x) = f(a): 11-1 \neq 1. (No)

ff is NOT continuous at x=1x = 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 ff continuous by redefining f(1)=1f(1) = -1.

(d) At x=1x = -1:

limx1x3x+1\lim_{x \to -1} \frac{x-3}{x+1}

As x1+x \to -1^+: 40+\frac{-4}{0^+} \to -\infty. As x1x \to -1^-: 40+\frac{-4}{0^-} \to +\infty.

The one-sided limits are both infinite but with opposite signs, so this is an infinite discontinuity (the limit DNE). This differs from x=1x = 1 because the limit itself does not exist at x=1x = -1Whereas at x=1x = 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+2x5+cos(πx)g(x) = x^3 + 2x - 5 + \cos(\pi x). Prove that g(x)=0g(x) = 0 has at least one solution in the interval (0,2)(0, 2). Then determine whether the solution is unique using Rolle’s theorem applied to g(x)g'(x).

Solution:

Existence (IVT): gg is continuous everywhere as a sum of continuous functions.

g(0)=0+05+cos(0)=5+1=4<0g(0) = 0 + 0 - 5 + \cos(0) = -5 + 1 = -4 \lt 0

g(2)=8+45+cos(2π)=7+1=8>0g(2) = 8 + 4 - 5 + \cos(2\pi) = 7 + 1 = 8 \gt 0

Since g(0)<0<g(2)g(0) \lt 0 \lt g(2) and gg is continuous on [0,2][0, 2]By the IVT there exists c(0,2)c \in (0, 2) such that g(c)=0g(c) = 0.

Uniqueness (Rolle’s theorem via monotonicity):

g(x)=3x2+2πsin(πx)g'(x) = 3x^2 + 2 - \pi \sin(\pi x)

We need to show g(x)>0g'(x) > 0 for all xx. Note that πsin(πx)π-\pi \sin(\pi x) \geq -\piSo:

g(x)3x2+2πg'(x) \geq 3x^2 + 2 - \pi

For x0x \geq 0: 3x2+2π>03x^2 + 2 - \pi > 0 when 3x2>π23x^2 > \pi - 2I.e., x>(π2)/30.62x > \sqrt{(\pi - 2)/3} \approx 0.62.

For x[0,0.62]x \in [0, 0.62]: g(x)=3x2+2πsin(πx)g'(x) = 3x^2 + 2 - \pi\sin(\pi x). Since sin(πx)πx\sin(\pi x) \leq \pi x for x0x \geq 0 (and πxπ0.62<2\pi x \leq \pi \cdot 0.62 \lt 2), we have g(x)3(0)2+2π(1)=2π1.14g'(x) \geq 3(0)^2 + 2 - \pi(1) = 2 - \pi \approx -1.14Which is negative. A finer argument is needed.

A cleaner argument: g(x)=3x2+2πsin(πx)g'(x) = 3x^2 + 2 - \pi\sin(\pi x). Since πsin(πx)π3.14|\pi\sin(\pi x)| \leq \pi \approx 3.14 and 3x2+223x^2 + 2 \geq 2We have g(x)23.14=1.14g'(x) \geq 2 - 3.14 = -1.14Which does not prove positivity.

Let us check directly: g'(0) = 2$$g'(1) = 3 + 2 - 0 = 5$$g'(0.5) = 0.75 + 2 - \pi \approx 2.75 - 3.14 = -0.39.

Since gg' changes sign, gg is not strictly increasing on all of [0,2][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)=x24f(x) = |x^2 - 4|. Determine whether ff is differentiable at x=2x = 2 and x=2x = -2 by evaluating the appropriate limits. For each point where ff is not differentiable, classify the discontinuity of ff'.

Solution:

f(x) = |x^2 - 4| = \begin{cases} x^2 - 4 & \text{if |x| \geq 2 \\ 4 - x^2 & \text{if |x| \lt 2 \end{cases}

At x=2x = 2:

Left-hand derivative:

f(2)=limh0f(2+h)f(2)h=limh0(4(2+h)2)0h=limh04hh2h=limh0(4h)=4f'_{-}(2) = \lim_{h \to 0^-} \frac{f(2+h) - f(2)}{h} = \lim_{h \to 0^-} \frac{(4 - (2+h)^2) - 0}{h} = \lim_{h \to 0^-} \frac{-4h - h^2}{h} = \lim_{h \to 0^-}(-4 - h) = -4

Right-hand derivative:

f+(2)=limh0+f(2+h)f(2)h=limh0+((2+h)24)0h=limh0+4h+h2h=limh0+(4+h)=4f'_{+}(2) = \lim_{h \to 0^+} \frac{f(2+h) - f(2)}{h} = \lim_{h \to 0^+} \frac{((2+h)^2 - 4) - 0}{h} = \lim_{h \to 0^+} \frac{4h + h^2}{h} = \lim_{h \to 0^+}(4 + h) = 4

Since f(2)=44=f+(2)f'_{-}(2) = -4 \neq 4 = f'_{+}(2), ff is not differentiable at x=2x = 2.

At x=2x = -2:

Left-hand derivative:

f(2)=limh0f(2+h)f(2)h=limh0((2+h)24)0h=limh04h+h2h=4f'_{-}(-2) = \lim_{h \to 0^-} \frac{f(-2+h) - f(-2)}{h} = \lim_{h \to 0^-} \frac{((-2+h)^2 - 4) - 0}{h} = \lim_{h \to 0^-} \frac{-4h + h^2}{h} = -4

Right-hand derivative:

f+(2)=limh0+f(2+h)f(2)h=limh0+(4(2+h)2)0h=limh0+4hh2h=4f'_{+}(-2) = \lim_{h \to 0^+} \frac{f(-2+h) - f(-2)}{h} = \lim_{h \to 0^+} \frac{(4 - (-2+h)^2) - 0}{h} = \lim_{h \to 0^+} \frac{4h - h^2}{h} = 4

Since 44-4 \neq 4, ff is not differentiable at x=2x = -2 either.

ff is continuous at both points (f(2)=f(2)=0f(2) = f(-2) = 0 and the limits equal the function value), confirming that continuity does not imply differentiability. The discontinuity of ff' at x=±2x = \pm 2 is a jump discontinuity (finite jump from 4-4 to 44).


IT-3: Limit at Infinity with Parametric Complexity (with Integrals)

Question:

Let F(x)=0xet21+t2dtF(x) = \displaystyle\int_0^x \frac{e^{-t^2}}{1 + t^2} \, dt.

(a) Prove that F(x)F(x) converges as xx \to \infty by showing the improper integral 0et21+t2dt\displaystyle\int_0^{\infty} \frac{e^{-t^2}}{1 + t^2} \, dt converges. (b) Find limxxF(x)\displaystyle\lim_{x \to \infty} x \cdot F(x).

Solution:

(a) For t0t \geq 0: 0<et21+t2et20 \lt \frac{e^{-t^2}}{1 + t^2} \leq e^{-t^2}.

Since 0et2dt=π2<\displaystyle\int_0^{\infty} e^{-t^2} \, dt = \frac{\sqrt{\pi}}{2} \lt \infty (Gaussian integral), by the comparison test for improper integrals:

0et21+t2dt0et2dt=π2<\int_0^{\infty} \frac{e^{-t^2}}{1 + t^2} \, dt \leq \int_0^{\infty} e^{-t^2} \, dt = \frac{\sqrt{\pi}}{2} \lt \infty

Therefore F(x)F(x) converges to some finite limit L=0et21+t2dtL = \displaystyle\int_0^{\infty} \frac{e^{-t^2}}{1 + t^2} \, dt as xx \to \infty.

(b) Let L=limxF(x)L = \displaystyle\lim_{x \to \infty} F(x). Since F(x)L0F(x) \to L \neq 0We have xF(x)x \cdot F(x) \to \infty. A more interesting limit is obtained by considering the tail: let G(x)=LF(x)=xet21+t2dtG(x) = L - F(x) = \displaystyle\int_x^{\infty} \frac{e^{-t^2}}{1+t^2}\,dtAnd evaluate limxxG(x)\displaystyle\lim_{x \to \infty} x \cdot G(x).

xG(x)=xxet21+t2dtx \cdot G(x) = x \int_x^{\infty} \frac{e^{-t^2}}{1+t^2}\,dt

For large xxThe dominant contribution comes from tt near xx. Substitute u=txu = t - x:

G(x)0e(x+u)21+(x+u)2duex21+x20e2xudu=ex21+x212xG(x) \approx \int_0^{\infty} \frac{e^{-(x+u)^2}}{1+(x+u)^2}\,du \approx \frac{e^{-x^2}}{1+x^2} \int_0^{\infty} e^{-2xu}\,du = \frac{e^{-x^2}}{1+x^2} \cdot \frac{1}{2x}

So xG(x)ex22(1+x2)0x \cdot G(x) \approx \dfrac{e^{-x^2}}{2(1+x^2)} \to 0 as xx \to \infty.

More rigorously: 0<G(x)=xet21+t2dt<ex2xdt1+t2=ex2(π2arctanx)0 \lt G(x) = \displaystyle\int_x^{\infty} \frac{e^{-t^2}}{1+t^2}\,dt \lt e^{-x^2}\displaystyle\int_x^{\infty}\frac{dt}{1+t^2} = e^{-x^2}\left(\frac{\pi}{2} - \arctan x\right). Since π2arctanx1x\frac{\pi}{2} - \arctan x \sim \frac{1}{x} as xx \to \infty:

0<xG(x)<xex2Cx=Cex200 \lt x \cdot G(x) \lt x \cdot e^{-x^2} \cdot \frac{C}{x} = Ce^{-x^2} \to 0

Therefore limxxG(x)=0\displaystyle\lim_{x \to \infty} x \cdot 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.