Định đề Bertrand: “Với mọi số nguyên bao giờ cũng tìm thấy số nguyên tố thỏa mãn ”. Định đề này do nhà toán học Pháp Jojeph Bertrand đưa ra năm 1845 sau khi đã kiểm tra với mọi . Điều này đã được Tchebưsep chứng minh năm 1850. Năm 1932 Erdoeus đã tìm được cách chứng minh mới đơn giản hơn.
Nhiệm vụ của bạn rộng hơn một chút: với cho trước, hãy xác định số lượng số nguyên tố thỏa mãn điều kiện .
Dữ liệu vào:
Gồm nhiều tests, mỗi test cho trên một dòng chứa số nguyên dương . Số dòng không vượt quá .
Dữ liệu ra:
Kết quả mỗi test đưa ra trên một dòng theo thứ tự dưới dạng một số nguyên.