User blog comment:Cookiefonster/New article on Pointless Large Number Stuff!/@comment-35851058-20190402170133

Great website, Cookiefonster. Although how did we prove that tree(3) > Graham's number?