基本列が極限を持つことは、区間縮小法の原理と関係がある。