On a conjecture concerning the sum of the squared Bernstein polynomials

We obtain a new representation of the sum of the squared Bernstein polynomials and use it to validate a conjecture asserting that this sum is a convex function. The result is extended to some other classical approximation operators.