闭区间套定理推导覆盖定理【反证法+Bolzano二分法】
发布人