 Cramér model prime-gap upper bound

If $P_n$ are the increasing selected integers in the Cramér model, then almost surely ${\mathrm{limsup}}_n(P_{n+1}-P_n)/(\log P_n{)}^2\le 1$. A zero block of length $(1+ϵ)(\log k{)}^2$ after $k$ has summable probability, so the Borel-Cantelli first lemma excludes these blocks eventually.