证明: lim() n an