 Solution

Apply Hölder's inequality to the finite sum with the second sequence $|x_j+y_j{|}^{p-1}$:Divide by the last power if the sum is nonzero. The resulting bound is independent of $N$, so passing to the limit proves both membership in ${\ell }^p$ and the Minkowski inequality