I need to guarantee the following statement will be true:

$\displaystyle z = \lfloor\frac{y}{x}\rfloor \Rightarrow x = \lfloor\frac{y}{z}\rfloor $

I can already guarantee that $\displaystyle 0 < x < 10^4*y $. One or both of the floor functions could also be changed to be ceiling functions if that will make the equality work.

Thanks for your help!