This question was submitted by West Germany to the IMO Committee, the examiners could not solve it in 6 hours.
In the IMO (1988) only 11 contestants solved it, one of them proved it elegantly. Terence Tao (Australia) only got 1 mark out of 7 in this question.
Solution:
Mathtuition88 