K Weierstrass 1885 polynomial-approximation + Stone 1937 generalization; modern Bernstein + neural-network universal-approx.