Asperti, A. and Ricciotti, W. 2012. A proof of Bertrand’s postulate. Journal of Formalized Reasoning. 5, 1 (Jan. 2012), 37–57. DOI:https://doi.org/10.6092/issn.1972-5787/3406.