Sự phát biểu
” Bổ đề Bertrand : nếu là số nguyên không nhỏ hơn , thì giữa hai số và luôn tồn tại ít nhất một số nguyên tố ”
Sau đây là định lý rất quan trọng , được gọi là định lý số nguyên tố , được vua toán học Gauss dự đoán sau đó được chứng minh bởi Paul Erdos và một người bạn của ông , tiếc thay cho Erdos ông đã công bố kết quả của mình sau và do đó người bạn của ông được giải Field
Phát biểu , gọi là số lượng các số nguyên tố không vượt quá khi đó
Ở đây ta sẽ chứng minh kết quả yếu hơn là một bất đẳng thức với
Để chứng minh nó ta sẽ dùng một số bổ đề
Bổ đề , với mọi nguyên dương sau đó
Sử dụng khai triển
Vế còn lại chúng ta dễ chứng minh bởi phương pháp quy nạp toán học .
Sau đó chúng tôi có
Bổ đề , cho là một số nguyên tố không vượt quá và , sau đó cho phép chức năng
Sau đó chúng tôi sẽ có
Trước hết với các hàm mà
Sau đó
Với điều này giành cho mọi người chứng minh
Sử dụng nó tôi có
Trong đó
Sử dụng bổ đề tôi có
Từ đó
Và
Nhưng lại có , dễ ràng có
Từ các điều trên chúng tôi có