Riemann–Lebesgue lemma