Open Covers, Finite Subcovers, and Compact Sets | Real Analysis