Defining p_0 = 2, p_n as the nth odd prime, and the nth prime gap as g_n = p_(n + 1) - p_n, then the Cramér-Granville conjecture states that g_n1.

Honaker's problem | prime gaps