Corollary
Tag 0842, permanent. Cite it as [Bourbaki, Tag 0842].
Functions of a Real Variable, chapter I, § 2. THE MEAN VALUE THEOREM
Let be a finite continuous real function on (where ) and have a right derivative at all points of the complement in of a countable subset of this interval. For to be increasing on I it is necessary and sufficient that at every point of that does not belong to ; for to be strictly increasing it is necessary and sufficient that that the preceding condition holds, and further that the set of points where be dense in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.