Q9 Matemática  (IMO Shortlist 1981)

Tome tal que , e considere todos os subconjuntos de elementos do conjunto . Cada subconjunto tem um elemento menor. Seja a média aritmética desses menores elementos. Prove que: