Bourbaki

Corollary 1

Tag 08F5, permanent. Cite it as [Bourbaki, Tag 08F5].

Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE

If ff and gg are regulated functions and ⩾0\geqslant 0 on the interval [a,+∞[[a, +\infty[, and such that f≽gf \succcurlyeq g, and if ∫a+∞g(t) dt=+∞\int_a^{+\infty} g(t)\,dt = +\infty, then ∫a+∞f(t) dt=+∞\int_a^{+\infty} f(t)\,dt = +\infty.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.