Ackermann function
The inverse of the Ackermann function is primitive recursive.