Example 2
Tag 08FF, permanent. Cite it as [Bourbaki, Tag 08FF].
Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE
We have ; since tends to with , one deduces from prop. 6 of V, p. 230, that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.