Giả sử 0<a1≤a2≤...≤an−1≤an⇒{0<a1α≤a2α≤...≤anα0<a1β≤a2β≤...≤anβ
Sử dụng bất đẳng thức Chebyshev:
n[a1α.a1β+a2α.a2β+...+anα.anβ]≥≥[a1α+a2α+...+anα][a1β+a2β+...+anβ]⇔a1β+a2β+...+anβa1α+β+a2α+β+...+anα+β≥na1α+a2α+...+anα