IsInequalityIrreversible