第2問

拡大し続けるブロック $\{a_1,\dots,a_n\}$ は最終的にすべての整数を含むので、任意の整数 $m$ はある項 $a_n$ に等しい。そして最初のステップより高々一つの項にしか等しくない。よってすべての整数はこの数列にちょうど一回現れる。