mula_36趋向无限大时，小于formula_36的质数数量会趋近于formula_38，其中formula_39为formula_36的自然对数。黎曼于中勾勒出一个程式，导出了质数定理的证明。其大纲由雅克·阿达马与所完成，他们于1896年独立证明出质数定理。证明一个大数是否为质数通常无法由试除法来达成。许多数学家已研究过大数的质数测试，通常侷限于特定的数字形式。其中包括费马数的（1877年）、普罗丝定理（约1878年）、卢卡斯-莱默质数判定法（1856年起）及广义。较近期的演算法，如、及AKS等，均