Definition:Derivative of Real Function