Convergence of positive quadrature on continuous functions (source code)

= Convergence of positive quadrature on continuous functions

On a compact interval, positive <quadrature rule> weights whose sum is the interval length define uniformly bounded functionals on <continuous functions>. If the rules eventually integrate every fixed <polynomial> exactly, the <Weierstrass approximation theorem> proves convergence for every <continuous function>.