MathDB

Problem 3

Part of the 12th XMO