Considere el conjunto $E = \{1,2,\ldots,2n\}$ . Pruebe que un elemento $c \in E$ puede pertenecer a un subconjunto $A \subset E$ , teniendo $n$ elementos, y tal que dos elementos distintos cualesquiera en $A$ no se dividen uno al otro, si y solo si \[c > n \left( \frac{2}{3}\right )^{k+1},\] donde $k$ es el exponente de $2$ en la factorización de $c$ .