利用凸函数性质证明:n个实数的算术平均值大于或等于几何平均值,