07/10/02 00:23:17
-------- バード数の定義 --------
X[0](n) = ↑n(n,n,n)
X[m+1](n) = X[m]^n(n)
N=↑G(3,3,4)
f(n) = X[n](N)
バード数 = f^(f^2(N)+1) (N)
※↑n(n,n,n) の定義は「巨大数探索スレッド５」の >>7
※n, m = 1,2,3,....
-------------------------
であってるかな？
g(n) = X[n](n) とすると、
g(2) > N となって、g^(n+1)(2) > f^n(N) となり、
バード数 = f^(f^2(N)+1) (N) < g^(g^3(2)+2)(2) となる。
g(n) < Ak(1,0,1,0,2n) から、
g^n(2) < A(1,0,1,1,2n) となり、
g^(g^3(2)+2)(2) < Ak(1,0,1,1,Ak(1,0,1,1,6)*2+4) < Ak(1,0,1,1,Ak(1,0,1,1,Ak(1,0,1,2,0))) = Ak(1,0,1,2,2)
よって バード数 < Ak(1,0,1,2,2)