[해석학] 유리수의 조밀성

두 실수 사이에 유리수가 존재한다는 것에 대한 증명이다.

이 결과에 따르면 반드시 두 실수사이에는 유리수가 존재하고 유리수가 충분히 조밀하게 분포해 있다고 할 수 있다.

Archimedean Property를 설정한 수들은 그냥 결과값을 깔끔하게 하기 위해서 저렇게 정한 것이지 특별한 이유는 없다.