Re: [math-fun] completeness-of-the-reals for beginners