完成条件
数列子列收敛性定理证明练习