Az $a_1$, $a_2$, $\text{...}$, $a_{2^n}$ pozitív egész számokból álló sorozatra igaz, hogy tetszőleges $1\le k\le 2^n$-re $a_k\le k$. Igazoljuk, hogy a sorozatból kiválasztható egy $n+1$ tagból álló monoton növő részsorozat.