f\geq b-c