勒让德常数是一个出现在素数计数函数的渐近展开式中的数学常数，其值经证明为1。勒让德在研究素数的分布情况时，发现formula_1满足以下等式： 其中formula_3是一个常数，称为勒让德常数。他估计formula_3大约为1.08366，但不管它的值是什么，只要它存在，就证明了素数定理。后来高斯也对素数进行了研究，得出结论，formula_3可能更小。最终Charles Jean de la Vallée-Poussin证明了formula_3正好等于1。