Proposition 4
Tag 084F, permanent. Cite it as [Bourbaki, Tag 084F].
Functions of a Real Variable, chapter I, § 2. THE MEAN VALUE THEOREM
Let be a continuous differentiable function of a complex variable defined on a convex open subset of the field , with values in a normed space over the field . If one has for all , then one has for every pair of points of .
We put for ; since , applying th. 2 to the function yields the proposition immediately.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.