MathDB

Problem 2

Part of 2022 Nigerian MO round 3