Two-sided probabilistic versions of Hardy's inequality (Q2465239)

Hardy's inequality indicated in the title states that there is an absolute constant \(c>0\) such that \[ \sum^\infty_{n=1}\frac{| \hat f(n)| }{n}\leq c\| f\| _1 \] for every function \(f\in L^1[0,2\pi)\) such that \(\hat f(n)=0, n=-1,-2,\dots\) The author proves a two-sided probabilistic version of this inequality: ``There exists a set \(B\subset(0,1)\) of measure 1 such that whenever \(t\in B\), an absolute constant \(c>0\) exists (depending only on \(t\)) such that \[ \sum_{n>0}\frac{| \hat f(n)| }{n}\leq c\| f\| _1+c\sum_{n>0}\frac{| \hat f(-n)| }{n} \sqrt{\log\log n} \] for all integrable functions \(f\) having the property that \(\hat f(n)r_n(t)\geq 0\), where \(\{r_n\}\) is the system of Rademacher functions.''