arctanx =αとおく。そのとき、0<α<π/2で、tanα=x
tan(π/2-α)=1/tanα =1/x
なので、arctan1/x=π/2-α