1997 USAMO Problems/Problem 5