Problem

Source: 2023 Grosman MO, P6

Tags: number theory, combinatorics, Info



Adam has a secret natural number $x$ which Eve is trying to discover. At each stage Eve may only ask questions of the form "is $x+n$ a prime number?" for some natural number $n$ of her choice. Prove that Eve may discover $x$ using finitely many questions.