OMM

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 cuatro de ellos es igual a $1$. Demostrar que, en cualquier conjunto virtual, el producto de sus elementos tiene al menos $2020$ divisores positivos distintos.