2023 AIME I Problems/Problem 1