theorem Lmbcd: :: FUZZY_8:1

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