到a≤1，然后就可以得到一个用于补充素数分布律的算式：liminfx→∞π(x)logxx≤1≤limsupx→∞π(x)logxx。

(本章完)