>>424
>Hardy functionをＢＢで比較できたらおもしろいんですけどね。
>>284 で書いた通り、
H[帰納的でない最小の順序数](n) ≒ BB(n)
と言えそう。