MathDB

Problem 1

Part of the 12th XMO