เบอร์ทรานด์ของสมมุติระบุว่าสำหรับทุกจำนวนเต็มn ≥ 1มีอย่างน้อยหนึ่งที่สำคัญหน้าดังกล่าวว่าn <p ≤ 2n ในการตรวจสอบทฤษฎีบทนี้สำหรับ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ส่งกลับค่า(n) (0 หรือ 1 ดัชนี)
- ฟังก์ชั่นหรือโปรแกรมที่ให้บางnส่งคืนรายการแรกn (หรือn-1หรือn + 1 ) ของลำดับนี้
- รายการหรือสตรีมหรือตัวสร้างที่ไม่สิ้นสุด
Fx.ØØ
เพื่อให้ใกล้เคียง ...n > 2
ธิสำหรับสิ่งที่เหนือ