1.9 Theorem (attainment of a minimum)
The existence of a minimizer for functions.
1.9 Theorem (attainment of a minimum)
The existence of a minimizer for functions.
1.5-2 Completeness of l""
Classical example, and this feels like uniform convergence of functions, similar principles.