配列 p[] には n 未満の全ての奇素数が入っているので、奇数 x (x>=3) が素数かどうか調べるには (1)x<n の場合、p[i]<=xの範囲で (1a) p[i]==x となる p[i] が存在すれば x は素数 (1b) そうでなければ x は合成数 (2)x>=mの場合、 p[i]<=sqr(x)の範囲で (2a) x mod p[i] == 0 となる p[i] が存在すれば x は合成数 (2b) そうでなければ x は素数 となります。