Asperti, Andrea, and Wilmer Ricciotti. “A Proof of Bertrand’s Postulate”. Journal of Formalized Reasoning 5, no. 1 (January 1, 2012): 37–57. Accessed April 19, 2024. https://jfr.unibo.it/article/view/3406.