MathNet 2018-part-03 — 181 problems (EN–VI) Question 48

We say distinct positive integers $a_1, a_2, \dots, a_n$ are **harmonic** if their sum is equal to the sum of all pairwise gcd's among them. Prove that there are infinitely many integers like $n$ such that $n$ harmonic numbers exist.