Sequentially Compact Metric Space is Totally Bounded

Theorem
Let $M = \left({A, d}\right)$ be a metric space.

Let $M$ be sequentially compact.

Then $M$ is totally bounded.

Also see

 * Sequentially Compact Metric Space is Compact


 * Compact Metric Space is Totally Bounded