展开 均值不等式柯西归纳法