というかちょっと待てよ
> 2b<ap/4
といっておいて
> pはbの単調減少関数であるからpはb=ap/4のときが上限
とか、これおかしくないか?