证明过程 @dbxxx

当 $p\geqslant 0$ 时，它的第二条目标为什么在不等号右边的式子额外 $+q$ ？

它左边 $+q$ 不就对应了右边 $x_2-\lfloor p(x_2+q)\rfloor$ 这个状态了吗？

还有它第二条目标的证明的第二个不等号没看懂怎么变过去的，求解答。