Wann fallunterscheidung bei ungleichungen?