最大の素数が見つかる