s tˌɛɡɔ vɨɲˈika, ʒˈɛ kˈaʒda fˈuŋktsja pʲɛrvˈɔtɲʲɛ rˌɛkurɛntsˈɨjna jɛst mˌajɔrˌɨzɔvˈana pʃˈɛs pˈɛvnɔ̃ fˈuŋktsjɛ ˌatskɛrmˈanna.
Z tego wynika, że każda funkcja pierwotnie rekurencyjna jest majoryzowana przez pewną funkcję Ackermanna.