Is arctan(1/x) differentiable