关于几何平均数不大于算术平均数的证明问题