MathDB

Problem 2

Part of 2024 Nigerian MO Round 3