>>280
ベルトラン=チェビシェフの定理を使えば
p_n≦2^nならば
2^n<p≦2^(n+1)なる素数pが1つは存在するので
p_(n+1)≦2^(n+1)もわかり
帰納法で示せたことになる