Problem

Source: ELMO 2015, Problem 1 (Shortlist A1)

Tags: Elmo, number theory, algebra, Recurrence, Divisibility



Define the sequence $a_1 = 2$ and $a_n = 2^{a_{n-1}} + 2$ for all integers $n \ge 2$. Prove that $a_{n-1}$ divides $a_n$ for all integers $n \ge 2$. Proposed by Sam Korsky