Convergence of positive quadrature rules (source code)

= Convergence of positive quadrature rules

If each $(n+1)$-node quadrature rule is exact through degree $n$ and has positive weights, then it converges on every continuous function. The <Weierstrass approximation theorem> reduces the error to the uniform polynomial-approximation error, while exactness on constants controls the sum of the weights.