Q5 Matemática  (IMO Shortlist 1983)

Considere o conjunto de todas as sequências estritamente decrescentes de $n$ números naturais com a propriedade de que em cada sequência nenhum termo divide qualquer outro termo da sequência. Sejam $A=(a_j)$ e $B=(b_j)$ quaisquer duas dessas sequências. Dizemos que $A$ precede $B$ se para algum $k$, $a_k<b_k$ e $a_i=b_i$ para $i<k$. Encontre os termos da primeira sequência do conjunto sob esta ordenação.