第3题

由引理可知，从某处起 $S$ 由公比为 $2$ 的几何尾部构成：存在有限集合 $T$ 与正整数 $x$，使 $S=T\cup\{x,2x,4x,\ldots\}$。