均值不等式:如何证明Hn≤Gn Hn是调和平均,Gn是几何平均