Problem

Source: 2019 Thailand October Camp TSTST 2.4

Tags: Sets, combinatorics, number theory



Does there exist a set $S$ of positive integers satisfying the following conditions? $\text{(i)}$ $S$ contains $2020$ distinct elements; $\text{(ii)}$ the number of distinct primes in the set $\{\gcd(a, b) : a, b \in S, a \neq b\}$ is exactly $2019$; and $\text{(iii)}$ for any subset $A$ of $S$ containing at least two elements, $\sum\limits_{a,b\in A; a<b} ab$ is not a prime power.