Let denote the set of positive real numbers.
Find all pairs of functions satisfying
and such that the sequence takes finitely many different values for all .
Solution
Answer: and .
The pair above is a solution. In order to prove that there is no other solution, fix and denote and for .
We have . Since , we have . This can be rewritten as
Then and more generally
for any by induction. There is with by assumption. Then we have
Since , we must have . It follows that and .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.