Erdős Problem 996
Does there exists a positive constant C such that for all f ∈ L²[0,1] and all lacunary
sequences n, if ‖f - fₖ‖₂ = O(1 / log log log k ^ C), then for almost every x,
lim ∑ k ∈ Finset.range N, f (n k • x)) / N = ∫ t, f t ∂t?