\(n\) 是自变量。
\([0]=n\)
\(2[0]=[0]\times 2\)
\(3[0]=2[0]\times 2\)
\((a+1)[0]=a[0]\times 2\)
\([0,0]=n[0]\)
\(2[0,0]=([0,0]\times 2)[0]\)
\((a+1)[0,0]=(a[0,0]\times 2)[0]\)
\([0,0,0]=n[0,0]\)
以此类推，可以定义 \(a[0,0,\cdots]\)
\([0(0)]=[\underbrace{0,0,\cdots,0}_n]\)
\(2[0(0)]=[\underbrace{0,0,\cdots,0}_{[0(0)]\times 2}]\)
\((a+1)[0(0)]=[\underbrace{0,0,\cdots,0}_{a[0(0)]\times 2}]\)
\([0(0),0]=n[0(0)]\)
\((a+1)[0(0),0]\) 同理，将 \([0(0),0]\) 定义中的 \(n\) 换成了 \(a[0(0),0]\times 2\)
\([0(0),0,0]=n[0(0),0]\)
一样的过程。
\([0(0),0(0)]=[0(0),\underbrace{0,0,\cdots,0}_n]\)
后面流程和 \([0(0)]\) 一样的，继续还有 \([0(0),0(0),0(0),\cdots]\)
\([0(0,0)]=[\underbrace{0(0),0(0),\cdots,0(0)}_n]\)
\(a[0(0,0)]\) 在定义中将 \(n\) 换成了 \((a-1)[0(0,0)]\times 2\)
\([0(0,0,0)]\) 同理
\([0(0(0))]=[0(\underbrace{0,0,\cdots,0}_n)]\)，\(a[0(0(0))]\) 将 \(n\) 替换成了更高级的东西，之后每个省略号都默认按这样的规则展开
到达 \([0(0(\cdots0(0)\cdots))]\) 后，我们把它写成 \([0((0))]\)
\([0((0)),0,0,\cdots,0]=[0((0)),0(0)]\)
\([0((0)),0(0),0(0),\cdots,0(0)]=[0((0)),0(0,0)]\)
\([0((0)),0((0)),\cdots,0((0))]=[0((0),0)]\)
\([0((0),0,0,\cdots,0)]=[0((0),0(0))]\)
\([0((0),0((0)),0((0)),\cdots,0((0)))]=[0((0),0((0),0))]\)
\([0((0),0((0),\cdots0((0))\cdots))]=[0((0),(0))]\)
\([0((0),(0),\cdots,(0))]=[0((0,0))]\)
\([0((0((\cdots0((0))\cdots))))]=[0(((0)))]\)
这里套了个 Hydra，单独的 \((0)\) 找到 \(0\) 迭代
\([0((\cdots(0)\cdots))]=[0(0_1)]\)
\([0(0_1),0(0_1),\cdots,0(0_1)]=[0(0_1,0)]\)
\([0(0_1,0((\cdots(0)\cdots)))]=[0(0_1,0(0_1))]\)
\([0(0_1,0(0_1,\cdots0(0_1)\cdots))]=[0(0_1,(0))]\)
\([0(0_1,((\cdots(0)\cdots)))]=[0(0_1,0_1)]\)
\([0(0_1,0_1,\cdots,0_1)]=[0(0_1(0))]\)
\([0(0_1(0(0(\cdots0(0)\cdots))))]=[0(0_1((0)))]\)
\([0(0_1((\cdots(0)\cdots)))]=[0(0_1(0_1))]\)
\([0(0_1(0_1(\cdots0_1(0_1)\cdots)))]=[0((0_1))]\)
\([0((\cdots(0_1)\cdots))]=[0(0_2)]\)
\([0(0_n)]=[0(0_{[0]})]\)
\(2[0(0_{[0]})]=[0(0_{[0(0_{[0]})]\times 2})]\)
然后就可以把这个东西丢到下标上再套一轮
\([0(0_{[0(0_{_{\ddots_{[0(0_{})]}}})]})]=[0_1]\)
再重复这一堆东西
\([0_1(0_{[0_1(0_{_{\ddots_{[0_1(0_{})]}}})]})]=[0_2]\)
最后有
\([0_{[0_{_\ddots}]}]=[1]\)
再按上面的流程套一遍：
\([1_{[1_{_\ddots}]}]=[2]\)
于是有
\([n]=[[0]]\)
那么 \([[\cdots[0]\cdots]]\) 的 FGH 增长率大概是多少？哪里可以改进，继续该如何扩展？