Definition:Differentiable Real Function on Open Interval