>>115
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)

ごめんなさい、これはどうして？
4^(r-1)を掛けてるのに、大小関係言えるのかが分からない