Proposition 9.2 Riemann integrable functions
Proposition 9.3 Uniform Cauchy functions in complete metric spaces
Corollary 9.4 Products of integrals and sums
Proposition 9.5 Weierstrass M-Test
Corollary 9.6 Uniformly convergent power series
Corollary 9.7 Integrable power series
Corollary 9.8 Differentiable power series
Proposition 9.9 Nowhere differentiable functions
Theorem 9.11 Weierstrass Approximation Theorem