自然数Nが[N]以下のすべての素数で割り切れなければNは素数である