区间套定理

theorem of nested interval