Let $X$ be a metric space.

(a) What does it mean for $X$ to be compact? What does it mean for $X$ to be sequentially compact?

(b) Prove that if $X$ is compact then $X$ is sequentially compact.