Dejemos que $ a_0 = a> 1$ sea un número entero, y para $ n \ge 0$ , defina $ a_{n + 1} = 2 ^ {a_n}-1$ . Demuestre que el conjunto de divisores primos de los términos de la secuencia $ a_n$ es infinito.
Este es un problema de la 38ª Olimpiada Brasileña de Matemáticas.