Formula for primes
In number theory, a formula for primes is a formula generating the prime numbers, exactly and without exception. No such formula which is efficiently computable is known. A number of constraints are known, showing what such a "formula" can and cannot be.
Formula based on Wilson's theorem
A simple formula is
 for positive integer .
By Wilson's theorem, is prime if and only if . Thus, when is prime, the first factor in the product becomes one, and the formula produces the prime number . But when is not prime, the first factor becomes zero and the formula produces the prime number 2.[1] This formula is not an efficient way to generate prime numbers because evaluating requires about multiplications and reductions .
Formula based on a system of Diophantine equations
Because the set of primes is a computably enumerable set, by Matiyasevich's theorem, it can be obtained from a system of Diophantine equations. Jones et al. (1976) found an explicit set of 14 Diophantine equations in 26 variables, such that a given number k + 2 is prime if and only if that system has a solution in natural numbers:[2]
The 14 equations α_{0}, …, α_{13} can be used to produce a primegenerating polynomial inequality in 26 variables:
i.e.:
is a polynomial inequality in 26 variables, and the set of prime numbers is identical to the set of positive values taken on by the lefthand side as the variables a, b, …, z range over the nonnegative integers.
A general theorem of Matiyasevich says that if a set is defined by a system of Diophantine equations, it can also be defined by a system of Diophantine equations in only 9 variables.[3] Hence, there is a primegenerating polynomial as above with only 10 variables. However, its degree is large (in the order of 10^{45}). On the other hand, there also exists such a set of equations of degree only 4, but in 58 variables.[4]
Mills' formula
The first such formula known was established by W. H. Mills (1947), who proved that there exists a real number A such that, if
then
is a prime number for all positive integers n.[5] If the Riemann hypothesis is true, then the smallest such A has a value of around 1.3063778838630806904686144926... (sequence A051021 in the OEIS) and is known as Mills' constant. This value gives rise to the primes , , , ... (sequence A051254 in the OEIS). Very little is known about the constant A (not even whether it is rational). This formula has no practical value, because there is no known way of calculating the constant without finding primes in the first place.
Note that there is nothing special about the floor function in the formula. Tóth [6] proved that there also exists a constant such that
is also primerepresenting for (Tóth 2017).
In the case , the value of the constant begins with 1.24055470525201424067... The first few primes generated are:
Wright's formula
Another primegenerating formula similar to Mills' comes from a theorem of E. M. Wright. He proved that there exists a real number α such that, if
 and
 for ,
then
is prime for all .[7] Wright gives the first seven decimal places of such a constant: . This value gives rise to the primes , , and . is even, and so is not prime. However, with , , , and are unchanged, while is a prime with 4932 digits.[8] This sequence of primes cannot be extended beyond without knowing more digits of α. Like Mills' formula, and for the same reasons, Wright's formula cannot be used to find primes.
A function that represents all primes
Given the constant for , define the sequence

(1)
where is the floor function. Then for , equals the prime: , , , etc. [9] The initial constant given in the article is precise enough for equation (1) to generate the primes through 37, the prime.
The exact value of that generates all primes is given by the rapidlyconverging series
where is the prime, and is the product of all primes less than . The more digits of that we know, the more primes equation (1) will generate. For example, we can use 25 terms in the series, using the 25 primes less than 100, to calculate the following more precise approximation:
This has enough digits for equation (1) to yield again the 25 primes less than 100.
As with Mills' formula and Wright's formula above, in order to generate a longer list of primes, we need to start by knowing more digits of the initial constant, .
Plouffe's formulas
In 2019 Simon Plouffe proposed a set of formulas for primes, but without actual proofs. Similarly to the formula of Mills, they are of the form:
(The {} symbol means rounding to the nearest integer.) For example, with and , this gives 113, 367, 1607, 10177, 102217... Using and with a certain number between 0 and one half, Plouffe found that he could generate a sequence of 50 probable primes (with high probability of being prime). Presumably there exists an ε such that this formula will give an infinite sequence of actual prime numbers. The number of digits starts at 501 and increases by about 1% each time.[10][11]
Prime formulas and polynomial functions
It is known that no nonconstant polynomial function P(n) with integer coefficients exists that evaluates to a prime number for all integers n. The proof is as follows: suppose such a polynomial existed. Then P(1) would evaluate to a prime p, so . But for any integer k, also, so cannot also be prime (as it would be divisible by p) unless it were p itself. But the only way for all k is if the polynomial function is constant. The same reasoning shows an even stronger result: no nonconstant polynomial function P(n) exists that evaluates to a prime number for almost all integers n.
Euler first noticed (in 1772) that the quadratic polynomial
is prime for the 40 integers n = 0, 1, 2, ..., 39. The primes for n = 0, 1, 2, ..., 39 are 41, 43, 47, 53, 61, 71, ..., 1601. The differences between the terms are 2, 4, 6, 8, 10... For n = 40, it produces a square number, 1681, which is equal to 41×41, the smallest composite number for this formula for n ≥ 0. If 41 divides n, it divides P(n) too. Furthermore, since P(n) can be written as n(n + 1) + 41, if 41 divides n + 1 instead, it also divides P(n). The phenomenon is related to the Ulam spiral, which is also implicitly quadratic, and the class number; this polynomial is related to the Heegner number . There are analogous polynomials for (the lucky numbers of Euler), corresponding to other Heegner numbers.
Given a positive integer S, there may be infinitely many c such that the expression n^{2} + n + c is always coprime to S. Integer c may be negative, in which case there is a delay before primes are produced.
It is known, based on Dirichlet's theorem on arithmetic progressions, that linear polynomial functions produce infinitely many primes as long as a and b are relatively prime (though no such function will assume prime values for all values of n). Moreover, the Green–Tao theorem says that for any k there exists a pair of a and b, with the property that is prime for any n from 0 through k − 1. However, the best known result of such type is for k = 26:
is prime for all n from 0 through 25.[12] It is not even known whether there exists a univariate polynomial of degree at least 2, that assumes an infinite number of values that are prime; see Bunyakovsky conjecture.
Possible formula using a recurrence relation
Another prime generator is defined by the recurrence relation
where gcd(x, y) denotes the greatest common divisor of x and y. The sequence of differences a_{n+1} − a_{n} starts with 1, 1, 1, 5, 3, 1, 1, 1, 1, 11, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 23, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 47, 3, 1, 5, 3, ... (sequence A132199 in the OEIS). Rowland (2008) proved that this sequence contains only ones and prime numbers. However, it does not contain all the prime numbers, since the terms gcd(n+1, a_{n}) are always odd and so never equal to 2. 587 is the smallest prime (other than 2) not appearing in the first 10,000 outcomes that are different from 1. Nevertheless, in the same paper it was conjectured to contain all (odd) primes, even though it is rather inefficient.[13]
Note that there is a trivial program that enumerates all and only the prime numbers, as well as more efficient ones, so such recurrence relations are more a matter of curiosity than of any practical use.
See also
References
 Mackinnon, Nick (June 1987), "Prime Number Formulae", The Mathematical Gazette, 71 (456): 113–114, doi:10.2307/3616496, JSTOR 3616496.
 Jones, James P.; Sato, Daihachiro; Wada, Hideo; Wiens, Douglas (1976), "Diophantine representation of the set of prime numbers", American Mathematical Monthly, Mathematical Association of America, 83 (6): 449–464, doi:10.2307/2318339, JSTOR 2318339, archived from the original on 20120224.
 Matiyasevich, Yuri V. (1999), "Formulas for Prime Numbers", in Tabachnikov, Serge (ed.), Kvant Selecta: Algebra and Analysis, II, American Mathematical Society, pp. 13–24, ISBN 9780821819159.
 Jones, James P. (1982), "Universal diophantine equation", Journal of Symbolic Logic, 47 (3): 549–571, doi:10.2307/2273588, JSTOR 2273588.
 Mills, W. H. (1947), "A primerepresenting function" (PDF), Bulletin of the American Mathematical Society, 53 (6): 604, doi:10.1090/S000299041947088492.
 Tóth, László (2017), "A Variation on MillsLike PrimeRepresenting Functions" (PDF), Journal of Integer Sequences, 20 (17.9.8).
 E. M. Wright (1951). "A primerepresenting function". American Mathematical Monthly. 58 (9): 616–618. doi:10.2307/2306356. JSTOR 2306356.
 Baillie, Robert (5 June 2017). "Wright's Fourth Prime". arXiv:1705.09741v3 [math.NT].
 Fridman, Dylan; Garbulsky, Juli; Glecer, Bruno; Grime, James; Tron Florentin, Massi (2019). "A PrimeRepresenting Constant". American Mathematical Monthly. Washington, DC: Mathematical Association of America. 126 (1): 70–73. doi:10.1080/00029890.2019.1530554.
 Katie Steckles (Jan 26, 2019). "Mathematician's recordbeating formula can generate 50 prime numbers". New Scientist.
 Simon Plouffe (2019). "A set of formulas for primes". arXiv:1901.01849 [math.NT]. As of January 2019, the number he gives in the appendix for the 50th number generated is actually the 48th.
 Perichon, Benoãt (2010), A World Record AP26 (Arithmetic Progression of 26 primes) (PDF), The AP26 is listed in "Jens Kruse Andersen's Primes in Arithmetic Progression Records page", retrieved 20140625.
 Rowland, Eric S. (2008), "A Natural PrimeGenerating Recurrence", Journal of Integer Sequences, 11 (2): 08.2.8, arXiv:0710.3217, Bibcode:2008JIntS..11...28R.
Further reading
 Regimbal, Stephen (1975), "An explicit Formula for the kth prime number", Mathematics Magazine, Mathematical Association of America, 48 (4): 230–232, doi:10.2307/2690354, JSTOR 2690354.
 A Venugopalan. Formula for primes, twinprimes, number of primes and number of twinprimes. Proceedings of the Indian Academy of Sciences—Mathematical Sciences, Vol. 92, No 1, September 1983, pp. 49–52. Page 49, 50, 51, 52, errata.