Remark
Tag 0848, permanent. Cite it as [Bourbaki, Tag 0848].
Functions of a Real Variable, chapter I, § 2. THE MEAN VALUE THEOREM
The inequalities (5) prove that a continuous function cannot have right derivative equal to at all points of an interval (cf. I, p. 38, exerc. 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.