베르트랑 공준이란 임의의 자연수 n은 n보다 크며 2n과 같거나 작은 수중에 적어도 하나의 소수가 존재한다는 내용이다. 0이 입력되기 까지 정수를 입력받은 후 각 수들보다 크며 2n보다 같으며 작은 소수들의 수를 출력하는 문제. 입력받은 수들을 리스트에 저장하며 제일 큰 수를 저장한다. 그 후 에라토스테네스의 체 방법을 이용하여 제일 큰 수 * 2한 값까지의 소수를 확인 후 리스트에 든 값을 이용하여 슬라이싱 후 count하여 풀었다.
\ndef erato(n):\n sieve = [True for _ in range(n+1)]\n sieve[1] = False\n m = int(n ** 0.5)\n\n for i in range(2, m+1):\n if sieve[i]:\n for j in range(i+i, n+1, i):\n sieve[j] = False\n\n return sieve\n\n\nl = []\nmn = 0\nwhile True:\n n = int(input())\n if not n:\n break\n l.append(n)\n mn = max(mn, n)\n\nsieve = erato(2 * mn)\n\nfor i in l:\n print(sieve[i+1:(2*i)+1].count(True))