Example 2
Tag 08DV, permanent. Cite it as [Bourbaki, Tag 08DV].
Functions of a Real Variable, chapter V, § 1. COMPARISON OF FUNCTIONS ON A FILTERED SET
Let be a normed space over a non-discrete valued field , and let be a polynomial in the variable , with coefficients in , such that . For every vector one has 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.