2013 IMO Problems/Problem 5
Problem
Let be the set of all positive rational numbers. Let be a function satisfying the following three conditions:
(i) for all , we have ; (ii) for all , we have ; (iii) there exists a rational number such that .
Prove that for all .