TD 4: Complete metric spaces