It is straightforward to see that $f(x)=\pi-2\arctan(x)$ for all $x\geq 0$.
GH from MO
- 105.4k
- 8
- 293
- 398
It is straightforward to see that $f(x)=\pi-2\arctan(x)$ for all $x\geq 0$.