Shade out inequality 3: x≥3