Example 1
Tag 08ET, permanent. Cite it as [Bourbaki, Tag 08ET].
Functions of a Real Variable, chapter V, § 2. ASYMPTOTIC EXPANSIONS
For real and tending to the set of functions ( an arbitrary real number) is a comparison scale. The same is true for the functions when is the set of open intervals with left-hand endpoint .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.