User blog comment:QuasarBooster/Laver tables in Python/@comment-34422464-20181211142242/@comment-24923514-20181211150036

Well, I definitely could be mistaken, but since the function's totality is only probable with I0, I assumed it would outgrow any function whose totality is probable with any smaller ordinal/cardinal. Maybe that's a bad assumption, I don't know.