n番目の素数を表す式とか素数列の漸化式とか与えられた自然数より大きい(小さい)最小の(最大の)素数を表す式とか