1000番目の素数を求めるにはどのような
アルゴリズムを取ればいいですか?