数え上げの基礎鳩の巣原理、床関数(ガウスの記号)

学習環境

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版)の第4章(数え上げの基礎)、章末問題の4.5の解答を求めてみる。

x = [\begin{matrix} m - 1 \\ n \end{matrix}] + 1