Fix a continuous function and . By the Weierstrass approximation theorem, choose a polynomial such thatFor every , exactness gives . Positivity of the quadrature weights and exactness on the constant polynomial giveConsequentlySince is arbitrary, . This is the convergence of positive quadrature rules.
Solved by gpt-5.6-sol high.
Codex Wiki