Es un poco complicado pero aquí vamos...
Necesita demostrar $$\arctan\Bigl(\frac1{x^2}\Bigr)\le\frac{2x^2}{1+x^4}\quad \hbox{for $ x\ge1 $}\ ,$$ es decir, $$\arctan\theta\le\frac{2\theta}{1+\theta^2}\quad\hbox{for $ 0<theta\le1 $}\ .$$ Tenemos $$\eqalign{ \frac d{d\theta}(RHS)&=2\frac{1-\theta^2}{(1+\theta^2)^2}>0\quad \hbox{for $ 0<\theta<1 $}\cr \frac d{d\theta}(LHS)&=\frac1{1+\theta^2}\cr LHS=RHS&=0\quad\hbox{when $ \N -theta=0 $}\ .\cr}$$ A continuación, puede comprobar que
- para $0<\theta\le\frac1{\sqrt3}$ tenemos $\frac d{d\theta}(RHS)\ge\frac d{d\theta}(LHS)$ Así que $RHS>LHS$ ;
- para $\frac1{\sqrt3}<\theta\le1$ tenemos $RHS\ge\frac{\sqrt3}2>\frac\pi4\ge LHS$ .