准确的说是2到n的算术平方根.
如果N不是素数,则至少有两个约数为素数,设为a和b,a和b可能相等.(N=a*b*...)
如果a和b都大于n的算术平方根,则a*b>N,矛盾.
所以N至少有一个约数小于或等于它的算术平方根.