[퍼온글] 베르트랑 공준 (Betrand Postulate)과 그 증명
※ 출처 - http://kevin0960.tistory.com/ 베르트랑의 공준에 따르면 $2$ 이상의 자연수 $n$에 대하여, $n < p < 2n$을 만족하는 소수 $p$가 반드시 존재한다. 이는 최초로 체비셰프(Chebyshev)에 의해 증명되었으나 그의 증명은 매우 길고 복잡하였다. 왜냐하면 체비셰프의 증명은 다른 문제를 해결함으로써 파생된 결과 이였기 때문이다. 후에 인도의 수학자 라마누잔(Ramanujan)이 쳬비셰프의 방법 보다 훨씬 간단한 방법으로 증명하였다. 하지만 나중에 폴 에르디시(Paul Erdős)가 기초적인 수학만을 사용하여 간결하게 증명하였는데, 여기 소개하고자 할 증명은 바로 폴 에르디시의 증명이다. 정리. 베르트랑의 공준, 체비셰프의 정$2$ 이상의 자연수 $n$에 대하여..