アッカーマン関数
where the "given functions" are primitive recursive, but "G" is not primitive recursive. In fact, this is precisely the function now known as the Ackermann function.