Dados enteros positivos distintos $ a_1,a_2,…,a_{2020} $ . Para $ n \ge 2021 $ , $a_n$ es el número más pequeño diferente de $a_1,a_2,…,a_{n-1}$ que no divide a $a_{n-2020}...a_{n-2}a_{n-1}$ . Prueba que todo número suficientemente grande aparece en la secuencia.