Riemann-Lebesgue lemma