稚拙な質問で申し訳ないですが・・
BB関数の定義が計算出来るどんな関数より大きな関数という事
らしんですが。無限大に増加する関数以外は全て計算出来る関数
だとしたBB関数は存在しない関数、もしくは大きい事が証明出
来ない関数になると思うんですが。
実際のところBB関数はそこらへんの事はどうクリアーしてるんですか?