Category:Definitions/Maximum Value of Real Function