Art of Problem Solving

1994 IMO Problems/Problem 1