質問いいでしょうか。
{b_n}は自然数の狭義単調増加数列とします。{a_n}は、a_1は自然数とし、a_1 + a_2 + ... + a_{n-1} に何かを足してその総和が b_n の倍数になるような最小非負整数を a_n とします。その割った商をc_nとしたときに、c_n < c_{n+1} とはならないだろうことは直感的には分かるのですが、厳密に証明ってできますか？
よろしくお願い致します。