Hi Wolfgang,
die Funktion f(x)=arctan(x)+x1 ist streng monoton fallend, weil gilt f′(x)=−x4+x21<0 gilt. Weiter ist f(1)=4π+1>2π
Die Funktion f(x) nimmt also den kleinsten Wert an, wenn x→∞ geht.
Es gilt x→∞limf(x)=2π
Damit gilt arctan(x)>2π−x1