I made the following [claim][1], which I now see that I don't know how to prove. Can anyone prove it?

**Claim.** Let $f$ be a concave and non-negative function on $[0,1]$ with $$\int_0^1 f = 1,$$
$$\int_0^1 |f-1| > 2\varepsilon.$$
Then
$$\min\left(\int_0^{1/4} f , \int_{3/4}^1 f\right) < \frac14 - \frac\varepsilon8.$$

In principle, this claim can be settled via computer algebra. For any $f$ satisfying the conditions, there is a piecewise-linear function $g$ of 10 pieces which satisfies the same conditions and has the same integrals as $f$ and $|f-1|$ on $[0,\frac14]$, $[\frac14,\frac34]$ and $[\frac34,1]$. The existence of such $g$ is just a matter of the existence of 9 $x$'s, 11 $y$'s, and 1 $\varepsilon$ satisfying some multilinear equalities and inequalities, and therefore is algorithmically solvable. In practice, my simplifications in Mathematica get overwhelmed before they finish.

Does anyone see a proof or a counterexample? I'd be happy to see a proof with $8$ replaced by any other small number.


  [1]: https://mathoverflow.net/a/387295/44143