inequalitiesalgebraIMO Shortlistn-variable inequalityArithmetic Mean-Geometric Mean
Problem Statement
Let a1,a2,…,an be positive real numbers such that a1+a2+⋯+an<1. Prove that
(a1+a2+⋯+an)(1−a1)(1−a2)⋯(1−an)a1a2⋯an[1−(a1+a2+⋯+an)]≤nn+11.