设f(x)=ln(1+X)>arctanX/1+X
f'(x)=1/(1+x)-1/(2x^2+2x+1)=x(2x+1)/(1+x)(2x^2+2x+1)
因为在x>0时,f'(x)>0衡成立,所以f(x)单调增.
又因f(0)=0,所以f(x)>0衡成立
及ln(1+X)>arctanX/1+X