Neka je n≥3 prirodni broj i neka je (a1,a2,…,an) strogo rastući niz realnih brojeva takav da je ∑k=1nak=2. Neka je M neki podskup skupa {1,2,…,n} za koji je vrijednost izraza 1−∑k∈Mak najmanja moguća.
Dokaži da postoji strogo rastući niz realnih brojeva (b1,b2,…,bn) takav da je ∑k=1nbk=2, za koji vrijedi ∑k∈Mbk=1.