nastˈɛmpɲʲɛ dɔvˈɔdʑi ɕɛ, ʒˈɛ fʃˈɨstkʲɛ jˌɛdnɔˌarɡumɛntˈɔvɛ fˈuŋktsjɛ ˌatskɛrmˈanna bˌɛndɔ̃ s kɔlˈɛi mˌajɔrˌɨzɔvˈanɛ pʃˈɛs fˈuŋktsjɛ vɨɲˈika s tˈɛɡɔ, ʒˈɛ ɲʲɛ jɛst pʲɛrvˈɔtɲʲɛ rˌɛkurɛntsˈɨjna.
Następnie dowodzi się, że wszystkie jednoargumentowe funkcje Ackermanna będą z kolei majoryzowane przez funkcję  Wynika z tego, że  nie jest pierwotnie rekurencyjna.