>>114 文字化けしたので訂正
Π[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)