User blog comment:Simplicityaboveall/Insanely Fast-Growing Functions/@comment-25912386-20171121174811/@comment-28606698-20171126001242

Sorry for late reply - I was in Petersburg and didn't enter in the wikia during two week. I think we can estimate the lower bound as $$Rayo(\frac{9n^2+47n+20}2)\geq n$$