莱默公式是素数计数函数的公式，
 |  | ![|_x_|-sum_(i=1)^(a)|_x/(p_i)_|+sum_(1<=i<=j<=a)|_x/(p_ip_j)_|-...+1/2(b+a-2)(b-a+1)-sum_(a<i<=b)pi(x/(p_i))-sum_(i=a+1)^(c)sum_(j=i)^(b_i)[pi(x/(p_ip_j))-(j-1)],](/images/equations/LehmersFormula/Inline3.svg) |
(1)
|
其中 
是向下取整函数，
 |  |  |
(2)
|
 |  |  |
(3)
|
 |  |  |
(4)
|
 |  |  |
(5)
|
莱默公式
是另请参阅
梅塞尔公式, 素数计数函数使用 Wolfram|Alpha 探索
参考文献
Riesel, H. "莱默公式。" 素数与计算机分解方法，第 2 版。 Boston, MA: Birkhäuser, pp. 13-14, 1994.在 Wolfram|Alpha 中引用
莱默公式请引用为
Eric W. Weisstein "莱默公式。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/LehmersFormula.html