Example 1
Tag 08FE, permanent. Cite it as [Bourbaki, Tag 08FE].
Functions of a Real Variable, chapter V, § 3. ASYMPTOTIC EXPANSIONS OF FUNCTIONS OF A REAL VARIABLE
On applying prop. 6 of V, p. 230, to the relation where , one again obtains the relation for every , which is equivalent to the relation proved in III, p. 105.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.