利用Wallis不等式,得到素数计算函数的一个下界估计.
We obtain an estimation of lower bound about the prime counting function by using Wallis'inequality.