1.1 Discussion: The Irrationality of √2 — Understanding Real Analysis | Lykke