Asperti, Andrea, and Wilmer Ricciotti. 2012. “A Proof of Bertrand’s Postulate”. Journal of Formalized Reasoning 5 (1):37-57. https://doi.org/10.6092/issn.1972-5787/3406.