@gnivasch @jeffgerickson @alreadydone I couldn't get much from a Python implementation because it already overflowed its stack for M(3), so I had to try working out small arguments by hand. This is piecewise linear and positive with discontinuities at a countable well-ordered set of points of order type \(\omega^\omega\)?
@gnivasch I tried that in Haskell, the denominator is 5552 digits, way too big for floating point precision.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!