Arctan(x)＝∫[0〜x]1/(1＋t^2)dt において、t＝1/y と変数変換して普通の計算をすれば
Arctan(x)＝−Arctan(1/x)＋π/2 が出る。