Let be a function such that and is differentiable at . Let us set
Evaluate the limit .
Since is differentiable at , there is some such that
and is of course continuous.
Let . There exists such that which in return means that . Hence , for larger than it holds that
On the other hand , the sum is a Riemann sum and converges to .