Gauss compound mean, logarithmic mean, inequality