Show that f (x) = 2x + cot-1 x + log [√(1 + x2) – x] is increasing in R.