An equivalent statement had been proved in 1919 by Ramanujan (see Ramanujan prime).
Một phát biểu tương đương đã được chứng minh năm 1919 bởi Ramanujan (xem Số nguyên tố Ramanujan).