MathDB

Problem 4

Part of 2024 Nigerian MO Round 3