Week 4: Completeness of metric space