Skip to main content
1 of 2
Boris Bukh
  • 7.8k
  • 1
  • 36
  • 71

Not true. Let $S=\{1,2,\dotsc,n\}\cup\{2n\}$. The total mass of $\bar{f}$ is $\approx 3n\cdot (1/n)=3$. Let $\mu$ be the uniform measure on $\{1,2,\dotsc,n\}$. Then the total mass of $f$ is $\approx 2n\cdot (1/n)=2$. (If you do not like $\mu(2n)=0$, make $\mu(2n)=\varepsilon$ to be very small.)

The opposite inequality also fails, as is witnessed by making $\mu(2n)$ in this example big, not small.

Boris Bukh
  • 7.8k
  • 1
  • 36
  • 71