1993 IMO Problems/Problem 5