2003 USAMO Problem 4 Student #