MathNet 2026 — Part 09 Question 27

Prove that there exists an infinite sequence of $a_{1}, a_{2}, \ldots$ positive integers such that the following condition holds: $\operatorname{gcd}\left(a_{m}, a_{n}\right)=1$ if and only if $|m-n|=1$.