Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
One can actually give a pretty simple direct proof from the open cover definition of compactness (self advert). I like this as it seems more transparent, without having to resort to (perhaps unfamiliar) machinery like ultrafilters
