User blog comment:Nayuta Ito/Brand-new Googologism from Algebra/@comment-11227630-20170924123530/@comment-1605058-20170924123718

How do you get this bound? The function can have a really large smallest solution.