inequality, concave function, monotonicity