Question 23
Let $a_{0}, a_{1}, a_{2}, \ldots$ be a sequence of positive integers such that the greatest common divisor of any two consecutive terms is greater than the preceding term; in symbols, $\operatorname{gcd}\left(a_{i}, a_{i+1}\right)\gt a_{i-1}$. Prove that $a_{n} \geq 2^{n}$ for all $n \geq 0$.