Prime gap

Definition

The prime gap between a prime $p$ and its successor prime $q$ is the difference $q-p$. In other words, a prime gap is a gap between two successive primes.

Facts

Basic facts

• A prime gap of $1$ occurs between $2$ and $3$, and never again. All other prime gaps are even, and at least $2$.
• There exist arbitrarily large prime gaps: This is because there exist arbitrarily large sequences of consecutive composite integer. For instance, for any $n>1$, the sequence $n!+2,n!+3,\dots ,n!+n$ is a sequence of composite integers.

Conjectures and advanced facts on minimum prime gaps

Name of conjecture/fact	Statement	Status
twin primes conjecture	there exist arbitrarily large pairs of twin primes -- successive primes with a gap of two.	open

Conjectures and advanced facts on maximum prime gaps

Name of conjecture/fact	Statement	Function (big-O)	Status
Cramér's prime gap conjecture	For any prime $p$, the prime gap between $p$ and the next prime is at most $c(\log p)^{2}$, $c$ fixed	$O((\log p)^{2})$	open
Prime-between-squares conjecture	There exists a prime between any two successive squares. Puts upper bound of $1+2{\sqrt {p}}$ on prime gap	$O({\sqrt {p}})$	open
(corollary of) Generalized Riemann hypothesis	The prime gap between a prime $p$ and the next prime is $O({\sqrt {p}}(\log p))$	$O({\sqrt {p}}\log p)$	open
exponent bound for prime gap of 0.535	The prime gap between $p$ and the next prime is $O(p^{0.535})$	$O(p^{0.535})$	proved
(corollary of) prime number theorem	there exists a prime between $n$ and $\alpha n$ for any $\alpha >1$, for $n$ large enough (dependent on $\alpha$)	$O(n)$	proved
Bertrand's postulate	there exists a prime between $n$ and $2n$	$O(n)$	proved