Redirecting to Riemann-Lebesgue lemma