1992 USAMO Problems/Problem 3