Zack Weinberg on Nostr: Yes, they say the difference is 0.000...001, where the string of zeroes is infinitely ...

Yes, they say the difference is 0.000...001, where the string of zeroes is infinitely long. Circling back around to John Carlos Baez (npub1nf4…nqe4) 's original point, I'm pretty sure this answer is compatible with hyperreal arithmetic, and maybe you could use it as a basis, teach them the hyperreals, and *then* make the argument that the "standard" part of 0.000...001 is zero and therefore 0.999... does equal 1.000... *in the reals*. But I haven't tried this.