上下取整
相互转化
\[\left \lfloor \frac{a}{b} \right \rfloor = \left \lceil \frac{a+1}{b} \right \rceil - 1
\]
\[\left \lceil \frac{a}{b} \right \rceil = \left \lfloor \frac{a-1}{b} \right \rfloor + 1
\]
不等式关系
\[设 a,b \in Z^+
\]
\[ab \ge m,a \ge \left \lceil \frac{m}{b} \right \rceil,b \ge \left \lceil \frac{m}{a} \right \rceil
\]
\[ab \le m,a \le \left \lfloor \frac{m}{b} \right \rfloor,b \le \left \lfloor \frac{m}{a} \right \rfloor
\]