>>112
Π[k=1,r]ak=Π[k=1,r](ckpk+1)>Π[k=1,r]ckpk

⑤より

Π[k=1,r]ckpk>2^(2r?1)Π[k=1,r]ck/(a/b)^(r?1)

ここで
Π[k=1,r]ak=a^(r-1)
であるから

a^(r-1)>Π[k=1,r]ckpk>2^(2r?1)Π[k=1,r]ck/(a/b)^(r?1)
a^(r-1)>Π[k=1,r]ckpk>2Π[k=1,r]ck×4^(r-1)/(a/b)^(r?1)

このぐらいの計算は書く必要はありませんので、つまらない事を書かせないでもらいたい

>>113
何を書いているのか意味が分かりませんが、n,q,u,vが整数の場合ですけど