よくわからんが>>503の定義だとn自体は増えていかないの？
アッカーマンだとそこが重要だったような。