User blog comment:Simplicityaboveall/The Construction of Extremely Large Numbers/@comment-25601061-20160725202417

I found one error:

f0(n) is defined as n+1, not 10n. (it's FGH, right?)