Задача на интегралы, доказательство

Рассмотрим функцию $$ F(y) = \int_{0}^{y} f(x)\;dx \to 2a \;\;\;\text{при} \;\; y\to +\infty $$ (я, чтобы дальше не писать лишних дробей, переобозначил значение интеграла из условия) ... Требуется доказать, что $$ \int_{0}^{+\infty} x\,f(x)\;dx > 2a^2 $$

Преобразуем интеграл $$ \int_{0}^{b} x\,f(x)\;dx = \int_{0}^{a} x\,f(x)\;dx + \int_{a}^{b} x\,f(x)\;dx = I+J $$

$$ I=\int_{0}^{a} x\,F'(x)\;dx = a F(a)- \int_{0}^{a} F(x)\;dx $$

$$ J= \int_{a}^{b} x\,\Big(F(x)-2a\Big)'\;dx = b\Big(F(b)-2a\Big) - a\Big(F(a)-2a\Big)+ \int_{a}^{b} \Big(a-F(x)\Big)\;dx $$

Тут надо говорить про сходимость, но у меня "ночной ступор"... поэтому предположу, что $%b\Big(F(b)-2a\Big)\to 0$% при $%b\to +\infty$% ...
При сделанном предположении интегралы слева и справа сходятся или расходятся одновременно... случай расходимости можно пропустить, поскольку доказываемое неравенство будет верным ... а в случае сходимости $$ J= \int_{a}^{+\infty} x\,\Big(F(x)-2a\Big)'\;dx = 2a^2 - a F(a) + \int_{a}^{+\infty} \Big(a-F(x)\Big)\;dx $$

Итого, $$ \int_{0}^{+\infty} x\,f(x)\;dx = 2a^2 + \int_{a}^{+\infty} \Big(a-F(x)\Big)\;dx - \int_{0}^{a} F(x)\;dx $$

Посмотрим с геометрической точки зрения на разность полученных в правой части интегралов... Первый интеграл - это площадь над графиком до вертикальной прямой (серая фигура), а второй - площадь под графиком (зелёная фигура)... условие, что $%f(y) = F'(y) < 1$% гарантирует, что график функции $%F(y)$% будет лежать ниже ломаной, нарисованной синим цветом...

Итого, получаем, что разность интегралов положительна (что доказывается сравнением с площадями треугольников), откуда и следует требуемое неравенство...