Finite Playground

To verify is human; to prove, divine.

Let

$f(x) = \mathrm{arctan}(x) + \mathrm{arctan}(1/x)$ .

What is $\frac{d}{dx}f(x)$ ? What does it say about $f(x)$ ? Try to calculate some values of $f(x)$ and explain.