>>664
variableを付けた方が冠詞のaと区別しやすいと思いました。

>>665
＞　　古典的な帰結をわざわざ書いている
＞　　議論に必要ない無駄な部分が挿入されている
この部分に関して私の証明がそういう目的で書いているということです。

>>666
(2b-a)(n+1)p-2bn>0
としてpの値域を考えます。
左辺を2b-aで割ります。
(n+1)p>2bn/(2b-a)
この計算のブロックの上の部分に書きました
2b/(2b-a)=p+c/(2b-a)=p+1/(p^(n-1)+…+1)
で2b/(2b-a)を消去します。
(n+1)p>n(p+1/(p^(n-1)+…+1))
p>n/(p^(n-1)+…+1)
p(p^(n-1)+…+1)-n>0
最後の部分は下の不等式から上の不等式を導く
ことができると思います。
(p-1)(p^(n-1)+2p^(n-2)+3p^(n-3)+…+n)>0