1994 IMO Problems/Problem 1

Invalid username
Login to AoPS