Example 4
Tag 08EA, permanent. Cite it as [Bourbaki, Tag 08EA].
Functions of a Real Variable, chapter V, § 1. COMPARISON OF FUNCTIONS ON A FILTERED SET
As the complex variable tends to 0 one has . More generally, if is a normed space over a valued field , and is a function defined on a neighbourhood of , with values in , and admitting a derivative at the point , then, as approaches , we have (I, p. 3, def. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.