Si cada par de números $a$, $b$ comparte un divisor primo $p$ que no tiene ningún número más de la lista entonces $p$ divide a $MCD(a, b)$ y no divide a ningún otro $MCD$, por lo que es distinto a cualquiera de estos.
También si cada número tiene un primo $p$ que no tiene ningún otro entonces para un par $a$, $b$ tenemos que el producto $p_a p_b$ de estos primos propios divide a $MCM(a,b)$ y no divide a ningún otro $MCM$ por lo que es distinto a cualquiera.
Como los primos son infinitos conseguimos lo que queremos para cualquier cantidad de números.
Reemplazamos $2020$ con un número $n$. Sea $p_k$ el $k$-ésimo número primo. Definimos $P=p_1p_2\ldots p_n$ y consideramos $c_k=\dfrac{P}{p_k}p_{n+k}$ (es decir que $c_k$ tiene todos los primos salvo $p_k$), entonces cada $c_k$ tiene al primo único $p_{n+k}$, y a cada par $(c_i,c_j)$ le faltan los primos $p_i,p_j$ (acá en realidad no es que cada par tiene un primo único, más bien que le faltan primos únicos).
Sean $p_1<p_2<\cdots<p_{4040}$ números primos.
Sea $C=\{a_i|1\leq i\leq 2020\}$ con $a_i=\prod_{k=1}^{i}p_k\prod_{k=2021}^{4041-i}p_k$ $\forall 1\leq i\leq 2020$.
Entonces nos queda que $(a_i:a_j)=\prod_{k=1}^{i}p_k\prod_{k=2021}^{4041-j}p_k$ y $[a_i:a_j]=\prod_{k=1}^{j}p_k\prod_{k=2021}^{4041-i}p_k$ $\forall 1\leq i\leq j\leq 2020$, así que los dcm y los mcm son todos distintos.
Sabemos que hay $2020$ números de la forma $2^k\cdot 3^{2019-k}$, donde $k$ es un entero tal que $0\leq k\leq 2019$. No es difícil probar que estos $2020$ números cumplen.
Con $H_i=p^i\cdot q^{i+1}\cdot a_i^{k+1}$ para todo $1\leq i\leq k$ y con $p,q$ primos distintos coprimos con todos los $a_i$ del conjunto $C_k$, también cumple lo que pide el enunciado.
Con inducción el problema se termina.
