2003 USAMO
Problem 2
Student #