Hello. I'm trying to prove that any sequentially compact metric space is totally bounded (where totally bounded means that for any epsilon > 0, there exists a finite open covering for the space consisting only of balls of radius epsilon. Does anyone have any advice for proving this? I realize that one thing is that seq compactness => compactness => totally bounded, but I'd like to avoid this if possible... Thanks!