The Cramér conjecture is the unproven conjecture that limsup_(n->∞) (p_(n + 1) - p_n)/(ln p_n)^2 = 1, where p_n is the nth prime.

Andrica's conjecture | Brocard's conjecture | prime difference function