When x2⩾a1(a1−1), from ∑i=1nai1⩽1, we can get
(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 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+x2)((ai+21)2+x2)2ai=(ai−21)2+x21−(ai+21)2+x21⩽(ai−21)2+x21−(ai+1−21)2+x21,
i=1,2,⋯,n−1,
Therefore, ∑i=1n(ai2+x2)2ai⩽21∑i=1n((ai−21)2+x21−(ai+1−21)2+x21)
⩽21⋅(a1−21)2+x21⩽21⋅a1(a1−1)+x21.