Isn't it true?

    f = lambda x: (1/x) * x
    f(1e309)

(So I guess Denmark is at least 1e309-sized in some metric).