User blog comment:Simplicityaboveall/Extremely Large Numbers 3/@comment-29014792-20160801191948/@comment-28633611-20160803102906

Regarding the question of heshbar-q and Rayo, let me put it this way:

heshbar-q(Rayo(10^100)) < Rayo(100^100 + 1)

This is true for any computable function.