Müntz–Szász theorem
The Müntz–Szász theorem is a basic result of approximation theory, proved by Herman Müntz in 1914 and Otto Szász in 1916. Roughly speaking, the theorem shows to what extent the Weierstrass theorem on polynomial approximation can be extended by restricting certain coefficients in the polynomials to be zero.