For the metric space { N }, the set of all natural numbers, characterize whether or not it has the following properties: compact, totally bounded, has the Heine-Borel property, complete.

For compact, we are to show that every sequence converges. For totally bounded, we are to show that it can be covered by finitely many sets of diameter less than epsilon. For Heine-Borel, we are to show there is a finite subcover. And for completeness, we are to show that each Cauchy sequence converges.

We are not allowed to use the fact that compactness implies completeness, etc. We can use definitions only.