Remark
Tag 082Z, permanent. Cite it as [Bourbaki, Tag 082Z].
Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE
A function may be differentiable on an interval without its derivative being continuous at every point of the interval (cf. I, p. 36, exerc. 5); *this is shown by the example of the function equal to 0 for and to for ; it has a derivative everywhere, but this derivative is discontinuous at the point .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.