User blog comment:Hyp cos/Googolisms hard to extend?/@comment-32213734-20190420023527/@comment-32213734-20190420042118

Yes, I realized it when I read the article. Graham's number is not the solution, N* is, and N* is still unknown: 13 < N* < 2↑↑2↑↑(3+2↑↑8) (if N' is N*).