1 problem

Conjecture. For every such $\phi$, there exists an explicitly constructible mean-zero function $f\in L_\infty(X)$ such that