2b-a > 9 ( = b の最小値) のときはどうしますか
単調減少でも p≦1+(a-c)/(18-a) とは言えないと思いますが
何か 2b-a > 9 とはならない根拠があるのですか