Remark 1
Tag 08H4, permanent. Cite it as [Bourbaki, Tag 08H4].
Functions of a Real Variable, chapter V, Appendix 0. Hardy Fields. (H) Functions
If is of order relative to , the function tends to 0 with once is sufficiently large. Indeed, in the opposite case one would have for every , so would be of infinite order relative to ; in other words, one would have , whence, on differentiating, . But if is of order relative to one has when when , and finally when (V, p. 251, n 3).
In contrast, if is of order 1 relative to one can have for every integer , as the example shows.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.