均值不等式的推广到n的证明