Prove that when x2⩾a1(a1−1), due to ∑ai1⩽1, we have
(i=1∑nai2+x21)2⩽(i=1∑n2ai∣x∣1)2=4x21(i=1∑nai1)2⩽4x21⩽21⋅a1(a1−1)+x21
When x2<a1(a1−1), by the Cauchy-Schwarz inequality, we have
(i=1∑nai2+x21)2⩽(i=1∑nai1)i=1∑n(ai2+x2)2ai⩽i=1∑n(ai2+x2)2ai
For positive integers a1<a2<⋯<an, we have ai+1⩾ai+1,i=1,2,⋯,n−1, and
(ai2+x2)22ai⩽(ai2+x2+41)2−ai22ai=(ai−21)2+x21−(ai+21)2+x21⩽(ai−21)2+x21−(ai+1−21)2+x21,i=1,2,⋯,n−1
Similarly,
(an2+x2)22an⩽(an−21)2+x21−(an+21)2+x21⩽(an−21)2+x21
Therefore,
i=1∑n(ai2+x2)2ai⩽⩽21i=1∑n−1[(ai−21)2+x21−(ai+1−21)2+x21]+(an−21)2+x2121⋅(a1−21)2+x21⩽21⋅a1(a1−1)+x21
Thus, the proposition is proved.