lim(arctan(x)), x-->pi/2=