F(F(n^163)) = F(F(n)) + F(F(361))
Source: IMO Shortlist 1995, S1
August 10, 2008
algebraIMO Shortlistfunctional equationIteration
Problem Statement
Does there exist a sequence of non-negative integers that simultaneously satisfies the following three conditions?
(a) Each of the integers occurs in the sequence.
(b) Each positive integer occurs in the sequence infinitely often.
(c) For any
F(F(n^{163})) \equal{} F(F(n)) \plus{} F(F(361)).