Example 4
Tag 08EW, permanent. Cite it as [Bourbaki, Tag 08EW].
Functions of a Real Variable, chapter V, § 2. ASYMPTOTIC EXPANSIONS
For real tending to the family of functions of the form , where runs through the set of polynomials without constant term (with real coefficients), is a comparison scale: it suffices to remark that the quotient of two functions in is again in , and that a function must tend either to 0 or if ; indeed, where and ; if then for sufficiently large; if then for sufficiently large; in the first case tends to , in the second to 0.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.