User blog comment:LittlePeng9/First order oodle theory/@comment-30167082-20161222182647/@comment-24920136-20161222233521

You have it wrong Mush. in the function FOOT(n), n is the length of the FOOT formula in characters. The smallest number expressible is a number that is so big it takes some amount > n of characters to write in FOOT. It doesn't have anything to do with the value of the variables being used.