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 p n + 1 − p n = O ( ( log p n ) 2 ) , {\displaystyle p_{n+1}-p_{n}=O((\log p_{n})^{2}),} where pn denotes the nth prime number, O is big O notation, and "log" is the natural logarithm.