是不超过[√p]个。

大于1的正整数n的素因子数目≤log n / log2, 量级上比sqrt(n)小很多

假设其素因子超过[√p]=x个(计重复),则2^(x+1)≤p-1≤(x+1)^2,2^(x+1)≤(x+1)^2只有有限个正整数成立即x=1,2,3,x＞3不成立,小于3^2=9的p穷举