＞自然数nが素数かどうか判定するには
＞√n以下の自然数が素数となるそうですが

思いっきり間違ってるけど、√nを持ち出す意味分かってますか？
後半は
　　√n以下の（１を除く）自然数で割り切れなければnは素数となる
または
　　√n以下の素数を約数に持たなければnは素数となる

だと思うよ。