Prove that since a1,a2,⋯,an is a permutation of 1,2,⋯,n, we have
⩾=(1+a1)(1+a2)⋯(1+an−1)(1+1)(1+2)⋯[1+(n−1)]a1a2⋯an.
Thus,
==⩾a2a1+a3a2+⋯+anan−1+11+21+⋯+n1a2a1+a3a2+⋯+anan−1+a11+a21+⋯+an1a11+a21+a1+a31+a2+⋯+an1+an−1nna1a2⋯an(1+a1)(1+a2)⋯(1+an−1)⩾n
Since n=(1+21+31+⋯+n1)+(21+32+⋯+nn−1), we have
a2a1+a3a2+⋯+anan−1⩾21+32+⋯+nn−1