设an是收敛数列,其极限为a0,既然收敛,则任意ε>0,存在N>0,使得|an-a0|N时,an落在[a0-ε,a0+ε]中,所以所有的an必然落在[a,b]∪[a0-ε,a0+ε]
中,命题得证.