How do you prove arccos(x/2) + arctan(x) = pi/2arccos(x2)+arctan(x)=π2?