Q9 Matemática  (IMO Shortlist 2019)

Você recebe um conjunto de blocos , cada um pesando pelo menos ; seu peso total é . Prove que para cada número real com você pode escolher um subconjunto dos blocos cujo peso total seja no mínimo mas no máximo .