Dowód że dla kazdego x spelniona jest nierownosc

[profesorq]

Wykazać, że
\(\displaystyle{ \bigwedge\limits_{x qslant 0} 2x arctgx qslant ln(1+x^2)}\)

[Rogal]

Na oko, to przenieść wszystko na jedną stronę, stworzyć z tej różnicy funkcję i pokazać, że jest zawsze większa od zera, czyli granice w nieskończoności policzyć, sprawdzić monotoniczność i powinno być.