denotes the set of integers greater than or equal to one. Find all functions satisfying:
i) for any in
ii) .
Solution
Let be a potential solution.
Let such that .
Then .
Since , we deduce by induction that for all integers .
On the other hand, suppose that is an integer such that for all .
Then, and , so and thus from the first paragraph .
This ensures that for all .
Since we have seen that for all , we deduce by downward induction that for all .
Conversely, it is clear that the constant function is a solution to the problem.
Finally, the only solution is the constant function .
!
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.