lim【(arctan x)*(cos(1/x))】,当x趋向于无穷大时,求极限