Yes, I always imagined this being just a silly exercise in pulling out a finite outcome from infinity. It’s not meant to be provable or disprovable, just hard to comprehend because we cannot think in infinite terms.

Relatedly, I wrote an essay that covers this a few years back: https://medium.com/@beadey.teigh/typewriters-29309c8e3b71