We first show that a=94 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)⩾(k−1+3)2
which can be rewritten as
xk−xk−19⩾xk(k+2)2−xk−1(k−1)2(2)
Summing (2) over k=2,3,…,n and adding x19 to both sides, we have
9k=1∑nxk−xk−11⩾4k=1∑nxkk+1+xnn2>4k=1∑nxkk+1
This shows (1) holds for a=94.
Next, we show that a=94 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 (1) equals
k=1∑nk(k+1)1=k=1∑n(k1−k+11)=1−n+11
while the right-hand side equals
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-hand side tends to 1 while the right-hand side tends to 49a. Therefore a has to be at most 94.
Hence the largest value of a is 94.