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

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

なお、「条件A」および「条件B」から x ≦ 1 が結論付けられないことは>>47でも指摘しています