That "lim n->inf" is doing a lot of work there. How would you even define "limit"? You can certainly work with bounded integers, but now suddenly your arithme

That "lim n->inf" is doing a lot of work there. How would you even define "limit"? You can certainly work with bounded integers, but now suddenly your arithmetic has undefined behavior.