>>569
式Eから
p=1+(a-c)/(2b-a)
で2b-a>0であり、>>505の論理でb>0の範囲でpはbの単調減少関数だから
b≧9であるとき
p≦1+(a-c)(18-a)
と言っているだけです。