Proposition 4
Tag 088M, permanent. Cite it as [Bourbaki, Tag 088M].
Functions of a Real Variable, chapter II, § 2. INTEGRALS OVER NON-COMPACT INTERVALS
If the integral of over is absolutely convergent then it is convergent, and one has
Indeed, for every compact interval one has (II, p. 61, formula (16))
If the integral of the positive function is convergent, then for every there exists a compact interval contained in , such that, for every compact interval contained in and having no interior point in common with , one has (II, p. 65, prop. 1); one deduces that , which shows convergence of the integral over (II, p. 16, prop. 1); on passing to the limit in (3) one deduces the inequality (2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.