证明数列收敛