2 $M_0 \subset \mathbb{N}$ es un conjunto no vacío con un número finito de elementos. Ali produce los conjuntos $ M_1,M_2,...,M_n $ en el siguiente orden: en el paso $n$ , Ali elige un elemento de $M_{n-1} $ como $b_n$ y define $M_n$ como $$M_n = \left \{ b_nm+1 \vert m\in M_{n-1} \right \}$$ Demuestre que en algún paso Ali alcanza un conjunto tal que ningún elemento de él divide a otro elemento de él.