For every $c\geq 0$ the density $f(c)$ of integers for which

$$\frac{p_{n+1}-p_n}{\log n}< c$$

exists and is a continuous function of $c$.