威尔士公式

威尔士公式是由 Willan (1964) 提出的一个素数生成公式，定义如下。设

			(1)
			(2)

对于 整数，其中 是 向下取整函数。这个公式是 威尔逊定理 的推论，并且将素数 隐藏为那些使得 的值，即 的值为 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, ... (OEIS A080339)。然后

(3)

并且

			(4)
			(5)

其中 是 素数计数函数 (Willans 1964; Havil 2003, pp. 168-169)。