MathDB

Problem 3

Part of 2021 Nigerian MO Round 3