cramer conjecture

Input interpretation

Cramér conjecture

Definition

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