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