Definition:Strictly Decreasing Real Function