Giả sử 0<a1≤a2≤...≤an−1≤an. Khi đó {a12003≤a22003≤...≤an2003a120021≥a220021≥...≥an20021
Sử dụng bất đẳng thức hoán vị:
a12003.a120021+a22003.a220021+...+an2003.an20021≤≤a12003.a220021+a22003.a320021+...+an2003.a120021⇔a1+a2+...+an≤a22002a12003+a32002a22003+...+an2002an−12003+a12002an2003