Problem

Source: Swiss IMO TST 2016. Problem 1

Tags: number theory, greatest common divisor, set



Let $n$ be a natural number. Two numbers are called "unsociable" if their greatest common divisor is $1$. The numbers $\{1,2,...,2n\}$ are partitioned into $n$ pairs. What is the minimum number of "unsociable" pairs that are formed?