The largest a is 4/9.
We first show that a=4/9 is admissible. For each 2≤k≤n by the Cauchy-Schwarz Inequality, we have
(xk−1+(xk−xk−1))(xk−1(k−1)2+xk−xk−132)2≥(k−1+3)2,
which can be rewritten as
xk−xk−19≥xk(k+2)2−xk−1(k−1)2.(1)
Summing Eq. (1) over k=2,3,…,n and adding 9/x1 to both sides, we have
9k=1∑nxk−xk−11≥4k=1∑nxkk+1+xnn2>4k=1∑nxkk+1.
This shows the original inequality holds for a=4/9.
Next, we show that a=4/9 is the optimal choice. Consider the sequence defined by x0=0 and xk=xk−1+k(k+1) for k≥1, that is,
xk=31k(k+1)(k+2).
Then the left-hand side of the original inequality equals
k=1∑nk(k+1)1=k=1∑n(k1−k+11)=1−n+11,
ak=1∑nxkk+1=3ak=1∑nk(k+2)1=23ak=1∑n(k1−k+21)=23(1+21−n+11−n+21)a.
When n tends to infinity, the left-side tends to 1 while the right-hand side tends to 49a. Therefore a has to be at most 4/9.
Hence the largest value of a is 4/9.