Ackermann function
ペンテーション formula_9 の値は、次のように変形したアッカーマン関数の値の表の四行目から求められる。即ち、関数 formula_10 を漸化式 formula_11 および初期値 formula_12 によって再帰的に定めるとき、formula_13 が成り立つ。