威爾士公式

威爾士公式是由 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)。