先证明 当x>0时,ln(1+x) / arctanx > 1/(1+x)
即(1+x)ln(1+x) > arctanx
令f(x) = (1+x)ln(1+x) - arctanx
f'(x) = ln(1+x) + 1 - 1/(1+x²) = ln(1+x) + x²/(1+x²) > 0
所以f(x)是增函数
f(x) > f(0) = 0
即 (1+x)ln(1+x) > arctanx
所以 ln(1+x) / arctanx > 1/(1+x)
下面证明 1/(1+x) > √[(1-x)/(1+x)]
即证 1/√(1+x) > √(1-x)
即 1 > √(1-x²)
因为 0