arctan(1)+arctan(2)+arctan(3)=pi