Q16 Matemática  (IMO Longlists 1972)

Considere o conjunto de todos os diferentes inteiros positivos ímpares que não são múltiplos de e que são menores que um inteiro positivo. Qual é o menor inteiro tal que em qualquer subconjunto de inteiros de deve haver dois inteiros um dos quais divide o outro? Prove seu resultado.