Example 2
Tag 08BZ, permanent. Cite it as [Bourbaki, Tag 08BZ].
Functions of a Real Variable, chapter IV, § 1. EXISTENCE THEOREMS
For the scalar equation one has . If one takes the corresponding integral is on the largest interval containing 0 where the derivative of is positive, that is to say, on ; at the endpoints of this interval the integral tends to an endpoint of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.