.
An≥Gn 都证出来了,Hn≤Gn 跟他是完全一样的
对调和平均的分母用代数-几何平均不等式,每一个倒数看成一项
这个简单,较难一点的倒是代数集合平均的证明
对调和平均的倒数和部分应用代数-几何平均