Bourbaki

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 x′=1+x2x' = 1 + x^2 one has I=H=RI = H = \mathbf{R}: the integral that vanishes at t=0t = 0 is tan⁡t\tan t, and the largest interval containing 0 where this function is continuous is J=]−π/2,+π/2[J = ] - \pi/2, +\pi/2[; and ∣tan⁡t∣|\tan t| tends to +∞+\infty at the endpoints of JJ (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.

Cites

Transcribed from the printed volume. Not translated.