第2题

由于不断扩展的区间 $\{a_1,\dots,a_n\}$ 最终包含每个整数，故每个整数 $m$ 都等于某个 $a_n$；又由第一步知它至多等于一项。因此每个整数在数列中恰好出现一次。