1 Un conjunto de cinco enteros positivos distintos se llama virtual si el máximo común divisor de cualesquiera tres de sus elementos es mayor que $1$, pero el máximo común divisor de cualesquiera cuatro de sus elementos es igual a $1$. Demuestre que, en cualquier conjunto virtual, el producto de sus elementos tiene al menos $2020$ divisores positivos distintos. Propuesto por Víctor Almendra