This video discusses the last problem of 1983's international Mathematical Olympiad. A special substitution is used to simply a geometric condition. The inequality can be easily proved by arithmetic mean geometric mean inequality.