Simple Mixed Integer Rounding Ungleichung

Sei $f=b-\lfloor b\rfloor \ge 0$.

$s\ge f(\lceil b\rceil -y)$

ist Zulässige Ungleichung für Basic Mixed Integer Set. w