Q9 Matemática  (IMO Shortlist 2020)

Seja $n$ um inteiro positivo. Encontre o número de permutações $a_1$, $a_2$, $\dots a_n$ da sequência $1$, $2$, $\dots$ , $n$ satisfazendo $$a_1\le 2a_2\le 3a_3\le \dots len{a}_n$$. Proposto pelo Reino Unido