Example 3
Tag 082V, permanent. Cite it as [Bourbaki, Tag 082V].
Functions of a Real Variable, chapter I, § 1. FIRST DERIVATIVE
The real function (defined for ) is differentiable at each point , for we have , and, since is continuous at , the limit of the preceding expression is .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.