MathDB

Problem 2

Part of 2021 Nigerian MO Round 3