After passing to a subsequence, weak compactness and the Rellich-Kondrachov compactness theorem give
For fixed , the Sobolev inequality gives , so
Meanwhile in . Pairing this weak convergence with the strong convergence of the products, or equivalently using the weak-strong product convergence lemma, yields