对于数n，若从2到√n都不能整除n，那么n就是素数。

反证法：若n不是素数，=> n=i*j, i,j都为整数。

i or j必然有一个<=√n,若都大于那么i*j > √n* √n = n,矛盾，所有必然有一个<=√n。

假定i<=√n,那么和条件没有能整除的小于√n的数，所以n是素数。