Proposition 4
Tag 087H, permanent. Cite it as [Bourbaki, Tag 087H].
Functions of a Real Variable, chapter II, § 1. PRIMITIVES AND INTEGRALS
Every monotone real function on an interval is regulated, and every primitive of is convex on .
Indeed, satisfies the criterion of th. 3 of Gen. Top., IV, p. 350, prop. 4; the second part of the proposition follows from cor. 1, from II, p. 55, and from prop. 5 of I, p. 27.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.