Definition:Decreasing Real Function