Compactness in Real analysis