Nella teoria dei numeri, la congettura di Cramér, formulata dal matematico svedese Harald Cramér nel 1936, afferma che lim sup n → ∞ p n + 1 − p n 2 = 1 {\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}{^{2}}}=1} dove pn indica l'n-esimo numero primo e ln il logaritmo naturale; questa congettura è ancora un problema aperto. Wikipedia