Mercer's Theorem

See Riemann-Lebesgue Lemma