MathDB

Problem 1

Part of 2022 Nigerian MO round 3