证 limit as x -> infinity of arctan x = pi/2 。