Is this true?
Countably compact implies compact
No — it is false.
From Topology › Compactness and Tychonoff