Problem

Source: Stars of Mathematics 2022, S4

Tags: number theory, composite numbers, Fermat primes



Let $a{}$ be an even positive integer which is not a power of two. Prove that at least one of $2^{2^n}+1$ and $a^{2^n}+1$ is composite, for infinitely many positive integers $n$. Bojan Bašić