Corollary 2

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

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

If $f$ and $g$ are $\geqslant 0$ and not identically zero on $[a, +\infty[$ , and such that $f \succeq g$ , then $\int_a^x f(t)\,dt \succeq \int_a^x g(t)\,dt$ .

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

Cited by

Nothing.

Cites

Nothing.