Osszuk az első $2n$ pozitív egész számot két $n$-elemű csoportra, majd a csoportok elemeit rendezzük nagyság szerint növekvő, illetve csökkenő sorrendbe. Így kapjuk az $a_1<a_2<\text{...}<a_n$ és a $b_1>b_2>\text{...}>b_n$ sorozatokat.
Bizonyítsuk be, hogy