rich1.0YORDL (npub162…atdhy)https://yabu.me/npub162zpxufpw8pnuytaf0gfxzkqtvk9rvcwkvppa7x57y3n7qkfpg4shatdhynjumphttps://yabu.menostr:npub1dtf79g6grzc48jqlfrzc7389rx08kn7gm03hsy9qqrww8jgtwaqq64hgu0 In reading the latest from a math substack I like, I finally encountered the proof of why the Goodstein sequence always terminates! You'll recall, it required some type of "higher-infinite" argument, with mention of espsilon-naught... It's quite the simple proof in the end, but requires a fair bit of build up to set up, or I'd attempt to explain it here. Maybe someday I'll give a longer explanation a shot. Just wanted to share my excitement.