User blog comment:ArtismScrub/Generalizing the fast-growing hierarchy towards positive real heights/@comment-32876686-20180125203146/@comment-32783837-20180127011749

I've improved this a bit, and it now satisfies the first equality mentioned, but not the second.