∫(下限0上限x)dt/(1+t^2)+∫(下限0上限1/x)dt/(1+t^2)
=arctant (下限0上限x) +arctant(下限0上限1/x)
=arctan x +arctan 1/x
=arctan x+arc cot x
=π/2
