Ko mất tính tổng quát, giả sử a1=max{a1,a2,a3,...an}
Khi đó
a2a1+a3+a4+...+an+1≤a2a2+a3+a4+...+an+1
a3a1+a2+a4+...+an+1≤a3a2+a3+a4+...+an+1
a4a1+a2+a3+a5+...+an+1≤a4a2+a3+a4+...+an+1
........................
an+1a1+a2+a3+...+an≤a4a2+a3+a4+...+an+1
Do đó ∑cyca1a2+a3+a4+...+an+1≤a1+a2+a3...+ana2+a3+a4+...+an+1
Nên chỉ cần cm
f(a1)=a1+a2+a3+...+ana2+a3+a4+...+an+1+n∏i=1(ai−1)−1≤0
Biểu thức f(a1) là hàm bậc nhất theo biến a1∈[0;1]
⇒f(a1)≤max{f(0);f(1)}
Lại có f(1)=0,f(0)=0 (do a1=max{a1,a2,a3,...an}, và a1=0)
⇒ dpcm
Đẳng thức xảy ra khi các biến nhận giá trị 0,1