巨大数探索スレッド8

>>684
やっと理解した。

ωは単なる整数の変数で、fにはこの変数ωが隠れて入っている。
ωだと順序数のωと紛らわしいのでxと書くとして、
f(....)の一番左にこの隠れた変数xを加えて書いたのをgとすると、
以下みたいな普通の整数の帰納的定義になる。
g(x,0)=0
g(x,m_0)=g(x,m_0-1)+x
....

f(0,1,1) など定義に抜けがあるが適当に補間するとして、
本質的には多重帰納となっていて大きさはF[ω^ω](n) くらい。