Derivative of differentiable function need not be continuous

Statement

It is possible to have a function $f$ defined for real numbers such that math>f</math> is a differentiable function everywhere on its domain but the derivative $f'$ is not a continuous function.

Proof

Example with an isolated discontinuity

Consider the function:

$f(x):=\left\lbrace {\begin{array}{rl}x^{2}\sin(1/x),&x\neq 0\\0,&x=0\\\end{array}}\right.$

Then, we have: Failed to parse (unknown function "\begin{array}"): {\displaystyle f'(x) = \left\lbrace\begin{array}{rl} 2x \sin(1/x) - \cos(1/x) & x \ne 0 \\ 0, & x = 0 \\\end{arrray}\right.}

In particular, we note that $f'(0)=0$ but $\lim _{x\to 0}f'(x)$ does not exist. Thus, $f'$ is not a continuous function at 0.

For details, see square times sine of reciprocal function#First derivative.