アッカーマン関数
An example of a total computable function that is not LOOP computable is the Ackermann function.