Heron mean, inequality, monotonicity, logarithmic convexity, proposition