对于 $p>0$ ，是否有 $p\lfloor x\rfloor\ge p\lfloor y\rfloor\rightarrow \lfloor px\rfloor\ge \lfloor py\rfloor$ 。

求严谨一点的证明。