>>318
＞実際には p_{m＋1}e^{2log(2)/m} ＜ e^{3m/2} である

これは計算間違いで直せばいいだけだ、この部分の修正により(6)の証明ができることは
理解できるのだろうか？完全数学的帰納法を知らない人は？