theorem :: XREAL_1:114

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