>>768
その指摘を受けて訂正はしています。

>>688
p>1の範囲で、pがbの単調減少関数ですから、bの最小値であるb=9の場合に
pが最大値になることからp≦1+(a-c)/(18-a)としています。
当然bはb≧9の範囲を動くことができるのですから、2b-a>0を満たすとしながら
18-a>0と18-a<0の場合分けが必要になります。