Extreme Value Theorem/Real Function