Define la secuencia $\{a_n\}$ : $a_1$ es cualquier entero positivo, y para cualquier entero positivo $n\ge 1$ , $a_{n+1}$ es el entero positivo más pequeño coprimo con $\sum_{i=1}^{n} a_i$ y no es igual a $a_1,\ldots, a_n$ . Demuestra que todo entero positivo aparece en la secuencia $\{a_n\}$ .