Primeshard
0:00.0

The 'Heath-Brown's Theorem' (1984) on prime gaps states that there are infinitely many nn such that pn+1pn<lnpnp_{n+1} - p_n < \ln p_n. What is the constant factor for the logarithmic gap in the best version of this theorem?