IMC 2016 · Problem 1

Day 223rd IMC · Blagoevgrad, Bulgaria

Statement

Let (x1,x2,)(x_1, x_2, \ldots) be a sequence of positive real numbers satisfying n=1xn2n1=1\sum\limits_{n=1}^{\infty} \dfrac{x_n}{2n - 1} = 1. Prove that

k=1n=1kxnk22.\sum_{k=1}^{\infty} \sum_{n=1}^{k} \frac{x_n}{k^2} \le 2.

Official solution

Hidden so you can work on the problem first.

Proposed by Gerhard J. Woeginger, The Netherlands.