theorem :: XREAL_1:190

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