在数论中，素数定理描述素数在自然数中分佈的渐进情况，给出随着数字的增大，质数的密度逐渐降低的直觉的形式化描述。1896年法国数学家雅克·阿达马和比利时数学家（Charles Jean de la Vallée-Poussin）先后独立给出证明。证明用到了复分析，尤其是黎曼ζ函数。素数的出现规律一直困惑着数学家。一个个地看，素数在正整数中的出现没有什么规律。可是总体地看，素数的个数竟然有规可循。对正实数"x"，定义π("x")为素数计数函数，亦即不大于"x"的素数个数。数学家找到了一些函数来估计π("x"