Verified answer

m/n ≤ w

m ≤ wn

m/w ≤ n

We must account for negative numbers.

m/w ≤ n for {n > 0 and w > 0} or {n < 0 and w < 0}

m/w ≥ n for n < 0 or w < 0 but not both