无论多少个正数,它们的算术平均值一定不小于几何平均值.这是均值不等式的定义,请问如何推导得出?