theorem LemacikX: :: ROUGHIF2:20

for a, b, c being Real st a <= b & b > 0 & c >= 0 & b > c holds
a / b >= (a - c) / (b - c)