>>336
巨大数を生成する写像の無限列(fn)があったとき
g(n)=max{fm(n)|m<n}+1
と定義すると
そのどのfmよりもいずれは大きくなる
（とは誤解を生みやすい表現かも知れないので論理式で書くと）
∀m∈N,∃n∈N,n<∀k∈N: fm(k)<g(k)