integral inequality, function inequality, monotonicity