theorem :: XREAL_1:192

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