Strong Law of Small Numbers

The Strong Law of Small Numbers, formulated by Richard K. Guy, states: "There aren't enough small numbers to meet the many demands made of them." Informally, it says that, for some statements, there is too few small numbers for any of them to satisfy this statement.

This law is important for googology because it implies that sometimes we need a suffiscently large number to disprove some statements, like following: