BB(n)は、ビジービーバー関数
A(1,n)=BB(n)
A(m+1,n)=BB(A(m,n))
C(n)=A(BB(n),n)

C(n) の強さは、F_[ω_1^CK×2](n) ぐらい?