1973 IMO Problems/Problem 5
is a set of non-constant functions of the real variable of the form and has the following properties:
(a) If and are in , then is in ; here .
(b) If is in , then its inverse is in ; here the inverse of is .
(c) For every in , there exists a real number such that .
Prove that there exists a real number such that for all in .