Bertrand의 Postulate에 따르면 모든 정수 n ≥ 1에 대해 n <p ≤ 2n 과 같이 적어도 하나의 소수 p가 있습니다. n <4000에 대해이 정리를 검증하기 위해 우리는 4000 건을 확인할 필요가 없습니다. Landau 트릭 은이를 확인하기에 충분하다고 말합니다.
2, 3, 5, 7, 13, 23, 43, 83, 163, 317, 631, 1259, 2503, 5003
모두 프라임입니다. 이들 각각의 숫자는 이전의 두 배보다 작기 때문에 각 간격 {y : n <y ≤ 2n} 은 그 소수 중 적어도 하나를 포함합니다.
이 일련의 숫자는 Bertrand Primes (OEIS A006992) 이며 다음과 같이 정의됩니다.
a(1) = 2
a(n) = largest prime below 2a(n-1)
도전
이 순서를 구현하십시오. 당신은 쓸 수 있습니다
- 일부 n 을 부여한 함수 또는 프로그램 은 a (n) (0 또는 1 색인)을 리턴 합니다 .
- 일부 n 을 부여한 함수 또는 프로그램 은이 시퀀스 의 첫 번째 n (또는 n-1 또는 n + 1 ) 항목을 반환합니다 .
- 언어 목록에서 무한 목록 또는 스트림 또는 생성기 또는 이와 동등한 항목.
Fx.ØØ
너무 가깝습니다 ... 위의 모든 항목에 적용n > 2
됩니다.