第2题

将每一项写成 $a_i=b_i2^{c_i}$（$b_i$ 为奇数）。若某个 $b_i>2^m$，则只要 $c_i>0$ 就有 $a_i\ge b_i>2^m$，故触发减半规则，$c$ 减 $1$ 而 $b_i$ 不变；当 $c_i$ 降到 $0$ 时，该项等于奇数 $b_i>2^m$，仍会触发减半，但 $b_i$ 为奇数使 $b_i/2$ 非整数。因此若每一项都是整数，则对所有 $i$ 都有 $b_i\le2^m$。