存在多种公式,用于生成第 个素数作为
的函数,或者仅取素数值。然而,所有这些公式都需要极其精确地了解一些未知的常数,或者实际上需要预先知道素数才能使用该公式 (Dudley 1969; Ribenboim 1996, p. 186)。还存在简单的素数生成多项式,它们在前(可能很大)个整数值中仅生成素数。
考虑到仅生成素数的公式示例(尽管不一定是素数的完整集合),存在一个常数
(OEIS A051021) 称为 Mills' 常数,使得
(1)
|
其中 是向下取整函数,对于所有
都是素数 (Ribenboim 1996, p. 186)。
的前几个值是 2, 11, 1361, 2521008887, ... (OEIS A051254)。尚不清楚
是否是无理数。还存在一个常数
(OEIS A086238) 使得
(2)
|
(Wright 1951; Ribenboim 1996, p. 186) 对于每个 都是素数。
的前几个值是 3, 13, 16381, ... (OEIS A016104)。在
和
两种情况下,当
时,数字增长得如此迅速,以至于需要极其精确的
或
值才能获得正确的值,并且
的值实际上是不可计算的。
存在 个素数的显式公式,既可以是
的函数,也可以用素数 2, ...,
表示 (Hardy and Wright 1979, pp. 5-6, 344-345, and 414; Guy 1994, pp. 36-41),下面给出了一些。然而,应该再次强调的是,这些公式效率极低,并且在许多(如果不是全部)情况下,简单地执行高效的筛选将更快更有效地产生素数。
有时被称为 Willans 公式的素数生成公式可以构造如下。设
(3)
| |||
(4)
|
对于 整数,其中
再次是向下取整函数。这个公式是 威尔逊定理 的一个结果,并且隐藏了素数
,即对于这些素数,
,即
的值是 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, ... (OEIS A080339)。然后
(5)
|
和
(6)
| |||
(7)
|
其中 是素数计数函数 (Willans 1964; Havil 2003, pp. 168-169)。
Gandhi 给出了公式,其中 是唯一的整数,使得
(8)
|
其中 是素数阶乘函数 (Gandhi 1971, Eynden 1972, Golomb 1974),
是莫比乌斯函数。同样也成立
(9)
|
(Ribenboim 1996, pp. 180-182)。请注意,求和中获得第 个素数的项数为
,因此这些公式最终在素数研究中并不实用。
Hardy 和 Wright (1979, p. 414) 给出了公式
(10)
|
对于 ,其中
(11)
|
并且 素数计数函数 的“基本”公式由下式给出
(12)
|
(修正了符号错误),其中 是向下取整函数。
第 个素数
的双重求和为
(13)
|
其中
(14)
|
(Ruiz 2000)。
的渐近公式由下式给出
(15)
|
(Cipolla 1902)。这个渐近展开是对数积分 通过级数反演获得的逆,其中
的反演给出
,因为素数定理表明
,其中
是素数计数函数,而
的反函数是
,因为
。然而,如上图所示,该公式振荡很大,其中
是实际的第
个素数与 Cipolla 公式给出的素数之间的差值。有趣的是,截断为
给出了 Rosser 定理的改进形式,这是一个关于
的严格不等式。Salvy (1994) 处理了更一般的情况。
B. M. Bredihin 证明了
(16)
|
对于无限多的整数对 (Honsberger 1976, p. 30) 取素数值。例如,
、
、
等等。这种形式的素数是 3, 11, 19, 41, 53, 59, 73, 83, 101, 107, 131, 137, 149, 163, ... (OEIS A079544; Mitrinović 和 Sándor 1995, p. 11)。使
为素数的
和
的值在上面绘制,显示了一些有趣的模式。
通常,人为构造总是生成素数的公式并不困难。例如,考虑公式
(17)
|
其中
(18)
|
其中 是阶乘,而
和
是正整数 (Honsberger 1976, p. 33)。除非
且
,否则这将始终具有
,因此产生值 2,在这种情况下,它简化为
(19)
|
因此,该公式在 威尔逊商 为整数,即 1, 1, 5, 103, 329891, 36846277, 1230752346353, ... (OEIS A007619) 的值处,精确地生成每个奇素数一次 (Honsberger 1976, p. 33)。
FRACTRAN 游戏(Guy 1983, Conway 和 Guy 1996, p. 147)提供了一种基于 14 个分数生成素数的意外方法,但它实际上只是筛选法的隐藏版本。