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

I think I understand. So, if q(n) is indeed total, then we still wouldn't really have any idea how fast it grows besides the lower bound of f_(ω+1). Is that correct?