MathNet 2023-part-05 — 191 problems (EN–VI) Question 115

Given a positive even integer $a$ which is not a power of $2$, prove that at least one of the numbers $2^{2^n} + 1$ and $a^{2^n} + 1$ is composite for infinitely many non-negative integers $n$.