证明:正数的几何平均值小于等于算术平均值