inequality, power-exponential function, arithmetic mean,
monotonicity