任意の自然数n>1に対し、
n<p<2n
となる素数pなら必ず存在する。2nを2n-1に出来ればいいわけだが、
十分大きなnについてなら大丈夫でしょ。