展开 区间套证明柯西收敛准则区间为什么要取交集