Definition:Maximum Value of Real Function