Definition:Derivative of Real Function at Point