Legyen b1, b2, b3, ... bn a pozitív a1, a2, ..., an számok valamely permutációja. Bebizonyítandó, hogy