>>64
では記号を変えましょう

>後半で条件を明確にしておきますが
>A: 方程式⑥
>B: a^(r-1)>2Π[k=1,r]ck
>です

はい
これはむしろ逆です
あなたの「条件A」および「条件B」は、
Y = a^(r－1)
Z = 2∏[K=1→r] c_k
x = 4^(r－1)/(a/b)^(r－1)
とおくとき、
条件A: Y > Zx
条件B: Y > Z
となります。「条件A」から「条件B」が導かれるということは、むしろ
Zx ≧ Z
となるのではないですか？
あなたが証明すべきことは
Zx ≦ Z
です。これは論文中で証明されていません