MathDB

Problem 5

Part of the 12th XMO