Solution (source code)

= Solution

One normalized form of the <Croot-Sisask almost-periodicity theorem> is as follows. If finite sets $A,S$ in a group satisfy $|A+S|\le K|A|$, $p\ge2$, and $0<\epsilon<1$, then for every function $f$ there is $T\subseteq S$ with
$$
|T|\ge(2K)^{-O(p/\epsilon^2)}|S|
$$
such that
$$
\boxed{\|\tau_t(f*\mu_A)-f*\mu_A\|_p\le\epsilon\|f\|_p\qquad(t\in T-T).}
$$