베르트랑 공준은 임의의 자연수 n에 대하여, n보다 크고, 2n보다 작거나 같은 소수는 적어도 하나 존재한다는 내용을 담고 있다.
예를 들어 10보다 크고, 20보다 작거나 같은 소수는 4 개가 있다. (11, 13, 17, 19) 14 보다 크고, 28보다 작거나 같은 소수는 3 개가 있다. (17, 19, 23)
자연수 n이 주어졌을 때 n보다 크고, 2n보다 작거나 같은 소수의 개수를 구하는 프로그램을 작성한다.
정의
: 2 이상의 자연수 n에 대하여, n < p < 2n을 만족하는 소수 p가 반드시 존재한다.
