もうなんか巨大順序数探索スレって感じになって来たな。
より大きな帰納的関数を作れば作るほどビジービーバーが
どれだけたがの外れた増加をするのかがわかってくるな。