lean_workbook_plus_67149

Showing that all intervals in $\mathbb{R}$ are connected is a fairly standard argument, that relies on the completeness of $\mathbb{R}$. If we cut an interval somewhere, either the bottom side has a greatest element or the top side has a least element.