integral formula, monotonicity, convexity, Gini mean, Stolarsky mean