这题估计太精确,不等式两边只差 ,我除了硬算也没有好办法......
设 。那么 ,所以 。
这样 ,其中 。只需证明这个分式单调减。
在 时, 显然成立。如果 ,那么 , ,所以 。
我们需要证明 。这等价于 ,所以只需证明 。当 时右边不小于 ,左边单调减,不大于 ,所以不等式成立。对于 可验证 ,所以原不等式对任意 成立。