勒讓德常數

勒讓德常數是一個出現在素數計數函數的漸近展開式中的數學常數 ， 其值經證明爲1 。 勒讓德在研究素數的分佈情況時 ， 發現滿足以下等式 ： 其中是一個常數 ， 稱爲勒讓德常數 。 他估計大約爲 1.08366 ， 但不管它的值是什麼 ， 只要它存在 ， 就證明了素數定理 。 後來高斯也對素數進行了研究 ， 得出結論 ， 可能更小 。 最終比利時數學家證明了正好等於1 。