Cramér's conjecture

(number theory) An estimate for the size of gaps between consecutive prime numbers, stating that p_n+1-p_n=O(( log p_n)²), where pₙ denotes the nth prime number, O is big O notation, and log is the natural logarithm.