MathDB

Problem 2

Part of the 12th XMO