Shade out inequality 1: y≤2x