Así que, después de mi anterior comentario y tu trabajo hasta el momento, tenemos que nuestra hipótesis es
$$\frac{(x_1 + 2x_2 + 3x_3 + \cdots)^2}{x_1 + 4x_2 + 9x_3 + \cdots}\leq x_1 + x_2 + x_3 + \cdots$$
multiplicando ambos lados por el denominador (es no negativo, por lo que el signo no flip)
$$(x_1 + 2x_2 + 3x_3 + \cdots)^2 \leq (x_1 + x_2 + x_3 + \cdots)(x_1 + 4x_2 + 9x_3 + \cdots)$$
Buscando en la $x_i x_j$ plazo, en particular si $i\neq j$ que tiene en la izquierda, $2ij x_i x_j$ y en el derecho $(i^2 + j^2) x_i x_j$ o si $i=j$ $i^2 x_i^2$ a la izquierda y $i^2 x_i^2$ a la derecha, que siempre es igual en el segundo caso.
Mirando el primer caso con más cuidado, tenemos $2ij$ en comparación con $i^2 + j^2$. Restando el lado izquierdo, tenemos 0 con respecto a los $i^2 - 2ij + j^2$ $(i-j)^2$ que es un número real al cuadrado y es siempre mayor o igual a cero.
Por lo tanto, ya que para cada $i,j$ tiene que el coeficiente de la izquierda es menor o igual que el coeficiente de la derecha, la izquierda debe ser menor o igual al lado derecho, lo que demuestra la declaración.