Definition:Differentiable Real Function on Closed Interval