theorem :: XREAL_1:203

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