Erdős’s proof of Bertrand’s postulate (2015) [pdf] | Hacker News Reader