IMO 1988 Problem 6

Question & Solution in the images below (not my solution) but it is both an interesting problem and one of the toughest IMO problem at that time using The Well Ordering Principle in a very Clever way.