Does there exist a function $f:\mathbb{R}\to\mathbb{R}$ such that
- $f$ is continuous on a neighborhood of $0$,
- $f$ is differentiable at all $x$ close to $0$ except at $0$ itself, and
- $\lim_{x\to 0} f'(x)$ exists, but
- $f$ is not differentiable at $0$?
Does there exist a function $f:\mathbb{R}\to\mathbb{R}$ such that
Copyright © 2021 JogjaFile Inc.
By the mean value theorem $$ \frac{f(x)-f(0)}{x} = f'(\xi_x) $$ for some $\xi_x$ between $0$ and $x$. By assumption $f'(\xi_x) \to L$ for some $L$ as $x \to 0$. Thus $f'(0)$ exists and equals $L$.