Setze \( x_j^\star = x_j \cdot \mu_j^\frac{1}{p} \) und \(y_j^\star = y_j \cdot \mu^\frac{1}{q} \)
wegen \( \frac{1}{p} + \frac{1}{q} = 1 \) folgt die Behauptung aus der Hölderungleichung, falls die schon bewiesen wurde und wenn \( \mu_j \ge 0 \) gilt.
