Ai là người đầu tiên chứng minh định đề Bertrand?
là số nguyên tố cho bất kỳ số tự nhiên n nào. Ở đây biểu diễn hàm sàn, tức là số nguyên lớn nhất không lớn hơn số đang đề cập.Công thức sau có thể được hiển thị bằng cách sử dụng định đề Bertrand (được chứng minh đầu tiên bởi Chebyshev), trong đó nói rằng luôn tồn tại ít nhất một số nguyên tố p với n < p < 2 n − 2, cho bất kỳ số tự nhiên n > 3. Tuy nhiên, tính toán A hoặc μ đòi hỏi kiến thức về vô số số nguyên tố để bắt đầu.Một công thức khác dựa trên định lý Wilson và tạo ra số 2 nhiều lần và tất cả các số nguyên tố khác chính xác một lần.
Chi Chi Medina