就比如 x*x<=p 和 x<=p/x 是等效的，
比如说 x/2<=c 和 x<=2*c 是等效的。

不知道有没有证明或者类似的公式。有时候遇到下取整的不等式不知道怎么转换。感觉和数论分块有隐隐的联系。求助大佬（