The assertion can be rewritten as
k=1∑nj=1∑kaj≤k=1∑nk3.
It therefore suffices to prove
j=1∑kaj≤k3(6)
for every k=1,…,n.
In order to prove (6) we fix k and set
xi=k1−Nifor i=1,…,k
and
xi=N2n+1−ifor i=k+1,…,n
for some integer N>0 to be determined as follows:
The conditions x1>x2>⋯>xn>0 are certainly fulfilled in the case k=n and for k<n the only non-trivial relation is xk>xk+1 that is k1−Nk>N2n−k. Hence we choose N>kn, in order to have k1−Nk>Nn−k≥N2n−k.
The condition x1+⋯+xn<1 means 1−Nk(k+1)+N2(n−k)(n−k+1)<1 and will be satisfied for
N>k(k+1)(n−k)(n−k+1)
For N>max{kn,k(k+1)(n−k)(n−k+1)} the numbers x1,…,xn fulfill the relevant conditions and we conclude
i=1∑naixi3<1.
By taking the limit N→∞ we get ∑i=1nailimN→∞xi3≤1, which gives ∑i=1kaik31≤1, hence the desired estimate (6). □