Bài 2

Viết mỗi số hạng dưới dạng $a_i=b_i2^{c_i}$ với $b_i$ lẻ. Nếu một $b_i>2^m$ nào đó, thì chừng nào $c_i>0$ ta có $a_i\ge b_i>2^m$, nên quy tắc chia đôi áp dụng và $c$ giảm $1$ trong khi $b_i$ không đổi; khi $c_i$ đạt $0$, số hạng bằng số lẻ $b_i>2^m$, vẫn kích hoạt chia đôi, nhưng $b_i$ lẻ khiến $b_i/2$ không nguyên. Vậy nếu mọi số hạng đều nguyên, $b_i\le2^m$ với mọi $i$.