Show that is not there a function
It easy view:
1 for all
By induction it is proved that for all
It is trivial, If this is true for
As would be for
Thanks in advance.
What? the way you've written it you want
, why not just write that? And presumably you want
and not the square of
, otherwise it's trivial. In any case, clarify your function definition, it seems based on what you've written that you want just
, which I sincerely doubt is the case, since you can just let
be the (functional) square of the successor function if so.