2000 IMO Problems/Problem 3