<s>[INST]İlk önce Bertrand'ın önerisini kim kanıtladı?[/INST]herhangi bir doğal sayı için çok önemlidir Burada, kat işlevini, yani söz konusu sayıdan büyük olmayan en büyük tam sayıyı temsil eder. İkinci formül, Bertrand'ın postülatı kullanılarak gösterilebilir (ilk önce Chebyshev ile ispatlanmıştır), ki bu, herhangi bir doğal sayı için, her zaman n <p <2n - 2 olan en az bir asal sayı olduğunu gösterir. 3. Bununla birlikte, A veya comp hesaplamak, başlamak için sonsuz sayıda asalın bilgisini gerektirir. Diğer bir formül Wilson teoremine dayanır ve 2 sayısını birçok kez ve diğer tüm primleri tam olarak bir kez oluşturur.</s>