利用 最大真因子排除合数。
若 为素数,则 。若 为合数且 是最小素因子,则 ,故 。而 是 的最大真因子,所以 不可能整除 。 SSS S=nS=nS=n S>n2/pS>n^2/pS>n2/p dk−1=n/pd_{k-1}=n/pdk−1=n/p nnn n2n^2n2 n2n^2n2 n2/pn^2/pn2/p ppp