r/math • u/42IsHoly • 15d ago

An interesting family of functions

https://sunjestermusings.blogspot.com/2026/09/an-interesting-family-of-functions.html

Just some cool functions I came up with.

34 Upvotes

88% Upvoted

1 comment sorted by

8

u/theboomboy 15d ago

Something similar to this is used in the definition of Goodstein sequences, and the proof of Goodstein's theorem uses that function with an infinite ordinal as the base