息抜きです。A,Cは1以上の自然数、Bは0つ以上の0より大きいいくつかの自然数とします。
(B,0)=(B)
(A)=A+1
(A,B,C)=(((((…(A,B,C-1),B,C-1)…),B,C-1)[(A,B,C-1)回繰り返す]
(2,0)=3
(n,0)=n+1
(2,1)=(((2,0),0),0)=5
(n,1)=2n+1
(2,2)=(((((2,1),1),1),1),1)=((((5,1),1),1),1)=(((11,1),1),1)=((23,1),1)=(47,1)=95
(n,2)=(n+1)2^(2n-1)-1≒4^n
(2,3)= (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((2,2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2) ,2),2),2),2),2),2),2),2),2),2)= (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((96*2^(94+96*2^95)-1,2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2),2) ,2),2),2),2),2),2),2),2),2),2)
(n,3)≒4↑↑(4↑n)