ｎ番目の素数を表す式って、本当に見つけられるのかな？
もちろんｎが十分大きくても通用するような、式。