2025 AIME I Problems/Problem 7