Definition:Strictly Concave Real Function