1972 IMO Problems/Problem 5
Let and
be real-valued functions defined for all real values of
and
, and satisfying the equation
for all
. Prove that if
is not identically zero, and if
for all
, then
for all
.
Solution
Let be the least upper bound for
for all
. So,
for all
. Then, for all
,
Therefore, , so
.
Since is the least upper bound for
,
. Therefore,
.
Borrowed from http://www.cs.cornell.edu/~asdas/imo/imo/isoln/isoln725.html