Theorem T000488

GO-spaceCountably compactSequentially compact

Every sequence in a totally ordered set has a monotone subsequence (see for example Math StackExchange 1706258). The space being Countably compact implies that this subsequence has an accumulation point xx. And because the subsequence is monotone, it converges to xx because every order-convex neighborhood of xx contains eventually the subsequence as it contains infinitely many terms of it.