>>930
f(x) = arctan(x) +arctan(1/x)
(d/dx) f(x) = {1/(1+x^2)} +{1/(1+(1/x)^2)} (-1/x^2) = 0
f(x) は定数で、f(1) = π/2であることから、
f(x) = π/2