2006 USAMO Problems/Problem 6