新手的看法，有错请轻喷qwq

第一篇题解中，证明那里式子写的是−⌊p/i⌋，而代码中是(p - p / i)。

个人认为是为了取正数。

首先这两个式子应该是相等的，因为证明与代码的式子中末尾均有%p，加上一个p可以直接被%p消掉，所以是相等的，唯一有问题的地方应该就是符号问题了。

取正数：因为负数被%p始终小等于0，正数%p始终大等于0，所以加上一个p，可以使得(p - p / i)>0,就保证结果为正数了。

（不知道这样理解是否有问题。。