weierstrass approximation theorem proof in real analysis