糖水不等式证明