うーん

p_{k+1}≦p_{1}p_{2}...p_{k}
<p_{k}p_{k}...p_{k}
=(p_{k})^{k}
<2^{2^{k}}^{k}
=2^{2^{k+1}}

こうであって欲しい……ｗ