Bourbaki

Corollary

Tag 0842, permanent. Cite it as [Bourbaki, Tag 0842].

Functions of a Real Variable, chapter I, § 2. THE MEAN VALUE THEOREM

Let ff be a finite continuous real function on [a,b][a, b] (where a<ba < b) and have a right derivative at all points of the complement in [a,b[[a, b[ of a countable subset AA of this interval. For ff to be increasing on I it is necessary and sufficient that fd′(x)≥0f'_d(x) \geq 0 at every point of [a,b[[a, b[ that does not belong to AA; for ff to be strictly increasing it is necessary and sufficient that that the preceding condition holds, and further that the set of points xx where fd′(x)>0f'_d(x) > 0 be dense in [a,b][a, b].

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.