<s>[INST]Söz konusu sayıdan büyük olmayan en büyük tam sayı için kullanılan işlevin adı nedir?[/INST]herhangi bir doğal sayı için çok önemlidir Burada kat işlevi, yani, söz konusu sayıdan büyük olmayan en büyük tam sayıdır. İkinci formül, her doğal sayı için n> 3 olan her zaman n <p <2n - 2 olan en az bir asal sayı p'nin bulunduğunu belirten Bertrand'ın postülatı (ilk olarak Chebyshev tarafından kanıtlanmıştır) kullanılarak gösterilebilir. begin 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>