\arctan(x)+\arctan(1/x)=pi/2