MathDB

Problem 4

Part of 2021 Nigerian MO Round 3