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