1994 USAMO Problems/Problem 1