Comment Comment by dbfclark Convergent sequences are always Cauchy; for metric spaces, compactness and sequential compactness are the same. parent dbfclark 2 years ago