Cramér's conjecture

In number theory, Cramér's conjecture, formulated by the Swedish mathematician Harald Cramér in 1936, is an estimate for the size of gaps between consecutive prime numbers: intuitively, that gaps between consecutive primes are always small, and the conjecture quantifies asymptotically just how small they must be. It states that

${\displaystyle p_{n+1}-p_{n}=O((\log p_{n})^{2}),}$

where p_n denotes the nth prime number, O is big O notation, and "log" is the natural logarithm. While this is the statement explicitly conjectured by Cramér, his heuristic actually supports the stronger statement

${\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}{(\log p_{n})^{2}}}=1,}$

and sometimes this formulation is called Cramér's conjecture. However, this stronger version is not supported by more accurate heuristic models, which nevertheless support the first version of Cramér's conjecture.

The strongest form of all, which was never claimed by Cramér but is the one used in experimental verification computations and the plot in this article, is simply

${\displaystyle p_{n+1}-p_{n}<(\log p_{n})^{2}.}$

None of the three forms have yet been proven or disproven.