1984 USAMO Problems/Problem 2