Proving the inexpressibility of a function in a given language

Question

I\'m currently reading through John C. Mitchell\'s Foundations for Programming Languages. Exercise 2.2.3, in essence, asks the reader to show that the (natural-numb