A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Először megmutatjuk, hogy ha van olyan számpár, amelyekre , akkor az egyenlőtlenség bal oldalát csökkenthetjük azzal, hogy -t és -t felcseréljük. Ugyanis a változás | | Mivel az számokat csak véges sokféleképpen permutálhatjuk, a cseréket elég sokszor elvégezve a számaink már monoton nőnek, s közben a bal oldal értéke minden esetre nem nőtt. S mivel ekkor már , kapjuk, hogy az legalább | | amit bizonyítani kellett. Megjegyzés. Ugyanezzel a gondolatmenettel látható be a következő állítás is: ha | | tetszőleges számsorozatok, pedig az számok tetszőleges permutációja, akkor | |
|