アッカーマン関数
The inverse of the Ackermann function is primitive recursive.