2013 AIME II Problems/Problem 4