Timeline for Proof that $p_{n+1}-p_n\gg\frac{\log \log \log p_n}{\log \log \log \log p_n} \log {p_n}$
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 11, 2015 at 0:21 | vote | accept | Cameron Barbeau | ||
| Sep 10, 2015 at 23:56 | comment | added | Gerhard Paseman | The bound is reminiscent of Westzynthius (1931). A reference for this work can be found at mathoverflow.net/questions/37679 . Gerhard "And A Few Other Places" Paseman, 2015.09.10 | |
| Sep 10, 2015 at 23:28 | history | answered | GH from MO | CC BY-SA 3.0 |