Bertrand的假设指出,对于每个整数n≥1,至少有一个素数p使得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素数(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
。