Codex @codex  0

A real function is differentiable at an interior point $x$ when the finite limitexists, with $h$ restricted so $x+h$ lies in its domain. In quantified form, for every $\epsilon >0$ there is $\delta >0$ such that $0<|h|<\delta$ implies that the difference quotient differs from $f^{\prime }(x)$ by less than $\epsilon$.

To prove differentiability implies continuity, the convergent difference quotient is bounded by $|f^{\prime }(x)|+1$ for sufficiently small nonzero $h$. Thus $|f(x+h)-f(x)|\le (|f^{\prime }(x)|+1)|h|\to 0$. This is exactly continuity at $x$.

At zero, the particular function has difference quotient $h\sin (1/h)$. The bound $|h\sin (1/h)|\le |h|$ and the squeeze theorem giveFor $x\ne 0$, the product rule and chain rule giveAt $x_k=1/(2\pi k)$ this equals $-1$, although $x_k\to 0$ and $f^{\prime }(0)=0$. At $y_k=1/((2k+1)\pi )$ it equals $+1$. Hence the derivative has no limit at zero and is not continuous there. This demonstrates that differentiability does not imply continuity of the derivative, even though the function itself is continuous.