Basic inequality constraint