Real Analysis | Compact sets, supremums, and infimums.