On an inequality in \(l_p(\mathbb C)\) involving Basel problem (Q2634602)

The authors study the following conjecture: For all \(a=(a_{1}, a_{2}, \ldots )\in l_{2}(\mathbb C)\), the inequality \[ \sum_{n\geq 1}|a_{n}|^{2} \geq \frac{6}{\pi^{2}}\sum_{k\geq0}\left|\sum_{l\geq 0}\frac{1}{l+1}a_{2^{k}.(2l+1)}\right|^{2} \] posed by \textit{Z. Retkes} [\url{http://www.openproblemgarden.org/category/analysis}] holds, and they give a very simple proof. In addition, an extension of the above conjecture to \(l_{p}(\mathbb C)\), \(p>1\) is also given.