对任意实数x,证明不等式2xarctanx大于等于ln1+x^2,且等号仅当x等于0时成立