Example 3
Tag 08C0, permanent. Cite it as [Bourbaki, Tag 08C0].
Functions of a Real Variable, chapter IV, § 1. EXISTENCE THEOREMS
For the scalar equation one has : the integral that vanishes at is , and the largest interval containing 0 where this function is continuous is ; and tends to at the endpoints of (cf. IV, p. 173, cor. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.