素数判定の関数

この関数はどうやって計算しているのだろうか？　いろいろ想像するのも楽しい。