Equivalence of Definitions of Concave Real Function