Show that f(x) = tan^–1 x – x is a decreasing function on R ?

we have,

f(x) = tan^–1 x – x

Now,

Hence, f(x) is an decreasing function for R