theorem :: XREAL_1:186

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