1/x ≤ 2*(x/y)