2002 IMO Problems/Problem 2