アッカーマン関数
The Ackermann function is an example of a function that is "not" primitive recursive, showing that PR is strictly contained in R (Cooper 2004:88).