2025 USAMO Problems/Problem 5