Der Beweis ist tatsächlich so schwierig, dass er nicht für eine Übungsaufgave taugt.
Ich vermute, dass ein Spezialfall in der Vorlesung bewiesen worden ist, nämlich der, dass im Falle positiver xi aus ∏xi = 1 folgt, dass ∑xi ≥ n ist. Durch die Wahl der yi wird dafür gesorgt, dass diese die Voraussetzung erfüllen und Rücksubstitution in der Folgerung beweist den Satz allgemein.