Example 2

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

Functions of a Real Variable, chapter V, § 2. ASYMPTOTIC EXPANSIONS

For $z$ complex tending to $\infty$ the set of functions $z^n$ ( $n$ a rational integer) is a comparison scale; so are the functions $(z-a)^n$ when $\mathfrak{F}$ is the trace on the complement of the point $a \in \mathbf{C}$ of the filter of neighbourhoods of this point.

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

Cited by

Example 5, § 2

Cites

Nothing.