text: В вероятностной модели, lim sup n → ∞ p n + 1 − p n ln 2 ⁡ p n = c , {\displaystyle \limsup _{n\rightarrow \infty }{\frac {p_{n+1}-p_{n}}{\ln ^{2}p_{n}}}=c,} с c = 1. {\displaystyle c=1.} Но константа c {\displaystyle c} возможно не такая, как для простых, по теореме Майера.