一不是素数。最小的素数是2，而最大的素数并不存在。质数又称素数。一个大于1的自然数，除了1和它自身外，不能被别的自然数整除的数叫做质数；否则称为合数。质数的个数是无穷的。欧几里得的《几何原本》中有一个经典的证明。它使用了证明常用的方法：反证法。在一个大于1的数a和它的2倍之间（即区间（a，2a]中）必存在至少一个素数。存在任意长度的素数等差数列。
