Proposition 7
Tag 08E4, permanent. Cite it as [Bourbaki, Tag 08E4].
Functions of a Real Variable, chapter V, § 1. COMPARISON OF FUNCTIONS ON A FILTERED SET
If and are two functions in then the relation is equivalent to .
Indeed, implies that for every there exists an such that for every . But then , and consequently , whence (V, p. 215, prop. 4) .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.