在数学的浩瀚海洋中，人们最熟悉的恐怕就是自然数了。人们一般把1，2，3，4……称为自然数。学校中最基础的数学分类是质数（又叫素数）与合数。自然数中只有能被1与它自身整除的数称为质数，比如2、5、7等。
质数就像建筑上用的砖一样，它是数论中的基石。许多数学家倾注了大量心血，甚至终身对它进行研究。我们注意到，似乎自然数越大，则同它相邻的自然数中质数越少。那么，质数到底有多少个呢？古希腊数学家欧几里得用反证法很巧妙地证明了“质数有无穷多个”。
