6.3 Limits, Continuity, Differentiability & Mean Value Theorems

Key Takeaways

  • A function is continuous at a point when the left-hand limit, right-hand limit and functional value are all equal and finite; differentiability additionally requires equal left- and right-hand derivatives.

  • Differentiability implies continuity, but continuity does not imply differentiability — the modulus function at x = 0 is the standard counter-example.

  • Rolle's theorem needs continuity on the closed interval, differentiability on the open interval, and equal end values, and then guarantees a point where the derivative vanishes.

  • Lagrange's mean value theorem drops the equal-end-value condition and guarantees a point where the derivative equals the average slope (f(b) - f(a))/(b - a).

Last updated: August 2026

Limits: The Working Definition

The CIL paper never asks for an epsilon-delta proof. What it asks is whether a limit exists and what its value is. The operational test is simple: the limit exists at x=ax = a when the left-hand and right-hand limits are finite and equal.

lim⁡x→a−f(x)=lim⁡x→a+f(x)=L⟹lim⁡x→af(x)=L\lim_{x \to a^-} f(x) = \lim_{x \to a^+} f(x) = L \quad \Longrightarrow \quad \lim_{x \to a} f(x) = L

The standard limits that must be memorised:

LimitValue
lim⁡x→0sin⁡xx\lim_{x\to0} \dfrac{\sin x}{x}11
lim⁡x→0tan⁡xx\lim_{x\to0} \dfrac{\tan x}{x}11
lim⁡x→01−cos⁡xx2\lim_{x\to0} \dfrac{1 - \cos x}{x^2}1/21/2
lim⁡x→0ex−1x\lim_{x\to0} \dfrac{e^x - 1}{x}11
lim⁡x→0ln⁡(1+x)x\lim_{x\to0} \dfrac{\ln(1+x)}{x}11
lim⁡x→0(1+x)1/x\lim_{x\to0} (1 + x)^{1/x}ee
lim⁡x→∞(1+1x)x\lim_{x\to\infty} \left(1 + \dfrac{1}{x}\right)^{x}ee

Note that sin⁡x/x→1\sin x / x \to 1 only when xx is in radians. A question phrased in degrees is a deliberate trap; the answer becomes π/180\pi/180.

Continuity

A function ff is continuous at x=ax = a when three conditions hold simultaneously:

  1. f(a)f(a) is defined,
  2. lim⁡x→af(x)\lim_{x\to a} f(x) exists,
  3. lim⁡x→af(x)=f(a)\lim_{x\to a} f(x) = f(a).

Discontinuities are classified as removable (the limit exists but disagrees with f(a)f(a), so redefining one point repairs it), jump (left and right limits both exist but differ), and infinite (at least one one-sided limit is unbounded).

A practical example from mining instrumentation: a step change in a conveyor load cell signal is a jump discontinuity; a single corrupted sample in an otherwise smooth trace is removable.

Differentiability

The derivative at a point is the two-sided limit

f′(a)=lim⁡h→0f(a+h)−f(a)hf'(a) = \lim_{h \to 0} \frac{f(a+h) - f(a)}{h}

and it exists only when the left-hand derivative equals the right-hand derivative. The critical implication chain, tested almost every year in PSU papers, runs one way only:

differentiable⟹continuous,continuous⇏differentiable\text{differentiable} \Longrightarrow \text{continuous}, \qquad \text{continuous} \nRightarrow \text{differentiable}

The canonical counter-example is f(x)=∣x∣f(x) = |x| at x=0x = 0. It is continuous there, but the left-hand derivative is −1-1 and the right-hand derivative is +1+1, so no derivative exists. Geometrically, any sharp corner or cusp destroys differentiability while leaving continuity intact.

Rolle's Theorem

If ff is (i) continuous on the closed interval [a,b][a, b], (ii) differentiable on the open interval (a,b)(a, b), and (iii) satisfies f(a)=f(b)f(a) = f(b), then there exists at least one c∈(a,b)c \in (a,b) with

f′(c)=0f'(c) = 0

Geometrically: a smooth curve that starts and ends at the same height must be horizontal somewhere in between. All three hypotheses are needed — dropping any one produces a valid counter-example, and CIL-style items often ask precisely which hypothesis fails.

Example. For f(x)=x2−4x+3f(x) = x^2 - 4x + 3 on [1,3][1, 3]: f(1)=0f(1) = 0 and f(3)=0f(3) = 0, the function is a polynomial so continuity and differentiability are automatic. Then f′(c)=2c−4=0f'(c) = 2c - 4 = 0 gives c=2c = 2, which indeed lies in (1,3)(1,3).

Lagrange's Mean Value Theorem

Drop the condition f(a)=f(b)f(a) = f(b) and the conclusion generalises: there exists c∈(a,b)c \in (a,b) such that

f′(c)=f(b)−f(a)b−af'(c) = \frac{f(b) - f(a)}{b - a}

The instantaneous rate of change somewhere in the interval equals the average rate of change across it. Rolle's theorem is simply the special case in which the right-hand side is zero.

A physical reading familiar from mine haulage: if a dumper covers 30 km in 30 minutes, its average speed is 60 km/h, and the mean value theorem guarantees that its speedometer read exactly 60 km/h at some instant.

Example. For f(x)=x2f(x) = x^2 on [1,4][1, 4], the average slope is (16−1)/(4−1)=5(16 - 1)/(4 - 1) = 5. Setting f′(c)=2c=5f'(c) = 2c = 5 gives c=2.5∈(1,4)c = 2.5 \in (1,4).

Cauchy's Mean Value Theorem

The generalisation to two functions states that if ff and gg satisfy the same hypotheses and g′(x)≠0g'(x) \neq 0 on (a,b)(a,b), then for some cc,

f′(c)g′(c)=f(b)−f(a)g(b)−g(a)\frac{f'(c)}{g'(c)} = \frac{f(b) - f(a)}{g(b) - g(a)}

Setting g(x)=xg(x) = x recovers Lagrange's form. Cauchy's theorem is the formal justification for L'Hopital's rule, which is treated in the next section under indeterminate forms.

Quick Reference: Which Theorem Applies

GivenUseConclusion
f(a)=f(b)f(a) = f(b)Rollef′(c)=0f'(c) = 0
f(a)≠f(b)f(a) \neq f(b)Lagrange$f'(c) = $ average slope
Ratio of two functionsCauchyRatio of derivatives = ratio of increments
Test Your Knowledge

The function f(x) = |x| at x = 0 is:

A

Continuous but not differentiable

B

Both continuous and differentiable

C

Neither continuous nor differentiable

D

Differentiable but not continuous

Test Your Knowledge

For f(x) = x^2 - 4x + 3 on the interval [1, 3], the value of c guaranteed by Rolle's theorem is:

A

1.5

B

2

C

2.5

D

3

Test Your Knowledge

Which condition is NOT required for Rolle's theorem to apply on [a, b]?

A

f is differentiable on the open interval (a, b)

B

f(a) = f(b)

C

f is monotonically increasing on [a, b]

D

f is continuous on the closed interval [a, b]

Test Your Knowledge

The limit of (sin x)/x as x approaches 0, with x measured in radians, equals:

A

Infinity

B

Pi divided by 180

C

Zero

D

One

Sections you finish are checked off in the contents.