Compact Set In Real Analysis Lecture