Considere el conjunto $S$ de todos los diferentes enteros positivos impares que no son múltiplos de $5$ y que son menores que $30m$, donde $m$ es un entero positivo. ¿Cuál es el entero $k$ más pequeño tal que en cualquier subconjunto de $k$ enteros de $S$ debe haber dos enteros uno de los cuales divide al otro? Demuestra tu resultado.