IMC 2017 · Problem 6

Day 224th IMC · Blagoevgrad, Bulgaria

Statement

Let f ⁣:[0;+)Rf \colon [0; +\infty) \to \mathbb{R} be a continuous function such that limx+f(x)=L\lim\limits_{x \to +\infty} f(x) = L exists (it may be finite or infinite). Prove that

limn01f(nx)dx=L.\lim_{n \to \infty} \int_0^1 f(nx)\,\mathrm{d}x = L.

Official solution

Hidden so you can work on the problem first.

Proposed by Alexandr Bolbot, Novosibirsk State University.