糖水不等式推导过程