Proof: Without loss of generality, assume a1a2⋯an=1 (normalization). Let a1=x2x1,a2=x3x2,⋯,an−1=xnxn−1, where x1,x2,⋯,xn>0, then an=x1xn. The inequality becomes
x2x1+x3x2+⋯+xnxn−1+x1xn≥n
Notice that if the sequence (x1,x2,⋯,xn) is increasing, then the sequence (x11,x21,⋯,xn1) is decreasing. By the rearrangement inequality, we get
i=1∑nxi+1xi=i=1∑nxi⋅xi+11≥i=1∑nxi⋅xi1=n