max⁡(b,0)-max⁡(min⁡(a,b),0)>=0