Neka je n3n \geq 3 prirodni broj i neka je (a1,a2,,an)(a_1, a_2, \ldots, a_n) strogo rastući niz realnih brojeva takav da je k=1nak=2\sum_{k=1}^n a_k = 2. Neka je MM neki podskup skupa {1,2,,n}\{1, 2, \ldots, n\} za koji je vrijednost izraza 1kMak\left|1 - \sum_{k \in M} a_k\right| najmanja moguća.

Dokaži da postoji strogo rastući niz realnih brojeva (b1,b2,,bn)(b_1, b_2, \ldots, b_n) takav da je k=1nbk=2\sum_{k=1}^n b_k = 2, za koji vrijedi kMbk=1\sum_{k \in M} b_k = 1.