MathDB

Problem 4

Part of 2022 Nigerian MO round 3