微分可能関数
が存在するからである。しかし、x≠0 に対して、
f ′ ( x ) = 2 x sin  ( 1 / x ) − cos  ( 1 / x ) {\displaystyle f'(x)=2x\sin(1/x)-\cos(1/x)}
であるが、これは x → 0 に対する極限を持たない(したがってこの関数 f は原点を含む区間において微分可能ではあるが連続的微分可能ではない)。それにもかかわらず、ダルブーの定理(英語版)によれば、任意の関数の導関数に対して中間値の定理は成立する。
しばしば連続的微分可能関数は、C-級であると言われる。関数に一階および二階の導関数が存在し、それらが両方とも連続であるとき、その関数は C-級にであると言われる。より一般的に、k-階までの導関数 f′(x), f′′(x), ... , f(x) が存在し、すべて連続であるなら、その関数は C-級であると言われる。すべての正の整数 n に対して導関数 f が存在するなら、その関数は滑らか、あるいは、C-級であると言われる。