A. Asperti and W. Ricciotti, “A proof of Bertrand’s postulate”, JFR, vol. 5, no. 1, pp. 37–57, Jan. 2012.