for a, b, c being Real st 0 < b & c < a * b holds
c / b < a