IMC 2005 · Problem 3

Day 112th IMC · Blagoevgrad, Bulgaria

Statement

Let f:R→[0,∞)f : \mathbb{R} \to [0,\infty) be a continuously differentiable function. Prove that

∣∫01f3(x) dx−f2(0)∫01f(x) dx∣≤max⁡0≤x≤1∣f′(x)∣(∫01f(x) dx)2.\left| \int_0^1 f^3(x)\,dx - f^2(0) \int_0^1 f(x)\,dx \right| \le \max_{0 \le x \le 1} |f'(x)| \left( \int_0^1 f(x)\,dx \right)^2.

Official solution

Hidden so you can work on the problem first.