metric: define closed balls, state that theyre closed sets.
realanal: prove that closed intervals are compact
realanal: prove the extreme and intermediate value theorems