p5656的这篇题解中有下面这个式子： 我想了几天也看不太懂这是怎么推出来的，求大佬解释。

其次，也是上图 $s$ 的范围。我做出这题是直接用ceil和floor照抄这个式子。而我翻了这位题解的作者与其他题解的代码，他们大概都是这样实现的：

long long lb=(1-x+b*dv+b-1)/b-dv,ub=(y-1+a*dv)/a-dv;（来自出题人的代码）这貌似是更好的实现了ceil与floor这样的代码？

虽然这是p5656的一些问题，但我感觉其实就是数学问题，不看这道题估计也能做出来，所以就发到学术版了。违规紫衫。