Examples
Tag 0E5N, permanent. Cite it as [Bourbaki, Tag 0E5N].
Functions of a Real Variable, chapter V, § 1. COMPARISON OF FUNCTIONS ON A FILTERED SET
1) The relation means that tends to 0 along .
2) When and are two real numbers such that one has as tends to . Similarly, when and are two rational integers such that one has as the complex number tends to .
3) As tends to one has for every integer (III, p. 105).
4) In one has, as tends to ,
The following propositions can be deduced immediately from def. 3:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.