Starting from my discussion in [1], you can find a sort of antiderivative of natural numbers by finding which natural number (if any) ∫F_n maps to. Note however

Starting from my discussion in [1], you can find a sort of antiderivative of natural numbers by finding which natural number (if any) ∫F_n maps to. Note however that D is not injective and has no inverse. [1]: https://news.ycombinator.com/item?id=40327885 https://news.ycombinator.com/item?id=40327885