1985 IMO Problems/Problem 3