1.4 Consequences of Completeness — Understanding Real Analysis | Lykke