Weierstrass_approximation_theorem loading ...