MathDB

Problem 4

Part of the 12th XMO