Let S=1+a2+⋯+ana1
+1+a3+⋯+ana2+⋯+a1+a2+⋯+an−1an,
then S:=∑i=1n2−aiai=2∑i=1n2−ai1−n.
Since 2−ai>0, by (*) we get
2−ai1⩾2λ−λ2(2−ai).
Therefore, S⩾2∑i=1n[2λ−λ2(2−ai)]−n
=2[2nλ−λ2(2n−1)]−n.
Taking λ=2n−1n and substituting it into the above equation, we have
S⩾2n−1n,
with equality holding if and only if λ=2−ai1=2n−1n, i.e., ai=n1. Thus, Smin =2n−1n.