베르트랑 공준

시간 제한1초메모리 제한256 MB

요약
0이 나올 때까지 각 n에 대해 n보다 크고 2n 이하인 소수의 개수를 센다.
난이도

보통10점 중 4점

유형
정수론, 수학, 구현
정답자
아직 제출이 없습니다

문제

베르트랑 공준은 임의의 자연수 nn에 대하여 nn보다 크고 2n2n보다 작거나 같은 소수가 적어도 하나 존재한다는 내용을 담고 있다.

이 명제는 1845년에 추측되었고, 1850년에 증명되었다.

예를 들어 1010보다 크고 2020보다 작거나 같은 소수는 11,13,17,1911, 13, 17, 19의 4개가 있다. 또 1414보다 크고 2828보다 작거나 같은 소수는 17,19,2317, 19, 23의 3개가 있다.

자연수 nn이 주어졌을 때, nn보다 크고 2n2n보다 작거나 같은 소수의 개수를 구하는 프로그램을 작성하시오.

입력

입력은 여러 개의 테스트 케이스로 이루어진다. 각 케이스는 자연수 nn을 담은 한 줄로 이루어진다.

입력의 마지막 줄에는 00이 주어지며, 이 줄은 처리하지 않는다.

출력

각 테스트 케이스마다 nn보다 크고 2n2n보다 작거나 같은 소수의 개수를 한 줄씩 출력한다.

제한

  • 1≤n≤1234561 \le n \le 123456

예제1

  1. 예제 1

    입력
    1
    10
    13
    100
    1000
    10000
    100000
    0
    
    예상 출력
    1
    4
    3
    21
    135
    1033
    8392