PROOF 45
중간값 정리
실수 ℝ 의 완비성 위에서.
정의 D1
c 가 S 의 상한이라는 것은, c 가 S 의 상계이고 c 보다 작은 수는 S 의 상계가 아님을 뜻한다.
증명.
관련 실험실