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
.