
Glossary: Prime Pages: Top 5000: 
In the late forties Mills proved [Mills47] that:
there is a real number A for which [] is always a prime (n = 1,2,3,...).Here [ ] is the floor function. This startlingly simple characterization of a sequence of primes is called Mills' Theorem. Mills' one page article contained no numerics, it only proved the existence of A. Others [Wright1954] later proved that there are uncountably many choices for A, but again gave no value for A. The difficulty in finding a value for A is that we need to construct a sequence of primes (Mills' primes) p_{1}, p_{2}, ...; for which p_{i1} is between p_{i}^{3} and (p_{i}+1)^{3}. The constant A is then the limit of p_{n}^{3n} as n approaches infinity. So we need that there are primes between x^{3} and (x+1)^{3} for x > M for some bound M. The best know lower bound may be 10^{6000000000000000000} [Cheng2003a], but that is far far too large to allow actual calculations. So for now we must ask "what is a likely value of A?" If we assume the Riemann Hypothesis, then it is easy to show there are primes between consecutive cubes of integers [CC2005] greater than one; and then we can calculate example to our hearts content. Folks usually assume our sequence of primes begin: 2,(even though we can not prove this sequence continues without the Riemann Hypothesis). This sequence is formed by choosing the minimal prime at each step, and yields the smallest possible value for Mills' constant: 1.30637788386308069046861449260260571291678...Though amusing, this type of formula is useless for determining primes because we need to know the primes before we find A, and the subsequence of primes represented by Mills' theorem is so small.
See Also: FormulasForPrimes, MillsPrime, MillsConstant Related pages (outside of this work) References:
Chris K. Caldwell © 19992017 (all rights reserved)
