四捨五入の話も書く。
床関数・天井関数の性質
- $\lceil x \rceil = - \lfloor - x\rfloor$, $\lfloor - x\rfloor = -\lceil x \rceil$
- $\displaystyle \left\lfloor \frac{\lfloor x/a \rfloor}{b} \right\rfloor = \left\lfloor \frac{x}{ab}\right\rfloor$
- $x \leq y$ ならば $\lfloor x \rfloor \leq \lfloor y \rfloor$
- 特に、x が整数のとき、$x \leq \lfloor y \rfloor$ が言えたりする。
- $\lfloor \cdot \rfloor$ は単調ということ
- レイリーの定理
メモ