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=1∞xn2n−1=1\sum\limits_{n=1}^{\infty} \dfrac{x_n}{2n - 1} = 1. Prove that

∑k=1∞∑n=1kxnk2≤2.\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.