Example
Tag 088J, permanent. Cite it as [Bourbaki, Tag 088J].
Functions of a Real Variable, chapter II, § 2. INTEGRALS OVER NON-COMPACT INTERVALS
If the interval I is bounded, and if is bounded on I, then the integral always exists, for, by the mean value theorem, one has, for ,
and it suffices to take and small enough for the Cauchy criterion be satisfied.
One may note that in this case a primitive of on I does not necessarily have a right (resp. left) derivative at the left-hand endpoint (resp. right-hand endpoint) of I (when this number is finite) contrary to the situation when I is compact and is regulated on I (cf. II, p. 33, exerc. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.