User blog comment:Emlightened/A Largest Number/@comment-31580368-20180903033927/@comment-35470197-20180904005949

@LittlePeng9

I guess that the Scorcher007 just intends a lower bound through the comparison.

By the way, could you tell me what axioms are you assuming in the definition of FOOT? Maybe you have not noticed my question here. I would like to understand your large number more precisely.