inequality constraint