IMC 1995 · Problem 2

Day 115 points2nd IMC · Plovdiv, Bulgaria

Statement

Let ff be a continuous function on [0,1][0,1] such that for every x[0,1]x \in [0,1] we have x1f(t)dt1x22\int_x^1 f(t)\,dt \ge \dfrac{1 - x^2}{2}. Show that 01f2(t)dt13\int_0^1 f^2(t)\,dt \ge \dfrac{1}{3}.

Official solution

Hidden so you can work on the problem first.