展开 证明集合列极限存在