Projection onto the constant polynomials requires the residual to be orthogonal to . For the original inner product,For the weighted inner product the corresponding normal equation isHenceIt increases monotonically towards one. Although the weight vanishes at zero, it is positive elsewhere, and a nonzero continuous function is nonzero on an interval of positive weight. Thus the weighted expression really is an inner product and the constant minimizer is unique.