Bertrand's Postulate , her n ≥ 1 tamsayısı için en az bir asal p olduğunu, öyle ki n <p ≤ 2n olduğunu belirtir . Bu teoremi n <4000 için doğrulamak için 4000 vakayı kontrol etmemize gerek yoktur: Landau numarası , bunu kontrol yeterli olduğunu söylüyor
2, 3, 5, 7, 13, 23, 43, 83, 163, 317, 631, 1259, 2503, 5003
hepsi asal. Çünkü bu sayıların her biri, öncekinin iki katından daha az olduğundan, her aralık {y: n <y ≤ 2n} , bu asal sayıların en az birini içerir.
Bu sayı dizisi Bertrand Primes (OEIS A006992) 'dir ve şöyle tanımlanır:
a(1) = 2
a(n) = largest prime below 2a(n-1)
Meydan okuma
Bu sırayı uygulayın. Yazabilirsin
- n dönüşü veren bir fonksiyon veya program bir (n) (endeksli 0 veya 1),
- bazı n veren bir işlev veya program ilk n'yi (veya n-1 veya n + 1'i döndürür) bu dizinin ) girişlerini ,
- dilinizdeki sonsuz bir liste veya akış veya jeneratör veya benzeri bir eşdeğeri.
Fx.ØØ
çok yakın ... Yukarıdaki her şey için çalışıyorn > 2
.