为什么基本不等式能缩小(放大)到最小值(最大值)?