Definition:Strictly Increasing Real Function