Definition:Differentiable Real Function at Point