theorem :: XREAL_1:184

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