Proposition 11
Tag 08EK, permanent. Cite it as [Bourbaki, Tag 08EK].
Functions of a Real Variable, chapter V, § 1. COMPARISON OF FUNCTIONS ON A FILTERED SET
Let be a function in such that ; the relation implies ; the relation implies .
Indeed, if then tends to along . Similarly, if one has , so tends to 0, and the same for .
On the other hand, note that the relation does not imply , nor even that , as is shown by the example where as tends to ; similarly, the relation does not imply , as is shown by the example as tends to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.