1987 AIME Problems/Problem 15