Пример 5

Пусть (x)  =  max(0,x – 1). Имеют место равенства (0)  =  0 и (y + 1)  =  y  =  g(y,(y)), где g(y,z)  =  I²₁(y,z)  = y. Следовательно, (x) – примитивно рекурсивна.