근삿값
근삿값에 대한 오차의 절댓값이 어떤 값 이하일 때, 그 값을 근삿값에 대한 오차의 한계라고 한다.
실수의 완비성
formula_88가 열린 구간이므로, formula_89는 구간의 끝점이 아니다. 따라서 formula_88의 양끝점과 formula_89와의 거리는 모두 양수이다. 그 가운데 가장 작은 하나를 formula_92이라고 하자. 그렇다면, formula_93이므로,
이게 되는 formula_59이 존재한다. 이는 formula_96가 formula_97의 덮개라는 의미이며, 이는 formula_97이 유한 부분 덮개를 갖지 않는다는 것과 모순이 된다.