素数を求める公式は存在するのか