Definition:Continuous Real Function on Closed Interval