黎蔓在《论小于给定数的素数个数》一文中,共提出了六个猜想,问题之复杂,前所未有,却忽略了本身的问题,那就是小于给定数的素数个数,该文将给出计算机程序来计算出小于或等于某个给定数的素数的个数,并介绍勒让德和高斯的拟合函数,介绍黎蔓猜想。