First, I have difficulty understanding why $$\|u_k\|_{L^2(U)}>k\|f_k\|_{L^2(U)}$$ is being assumed in theorem 6 chapter 6.2 Evans.
Second, the last sentence of the proof says (30) implies $\|u\|_{L^2(U)}=1.$ Why?
Third, $f_k\to 0$ in $L^2(U).$ Why?
Any clarification is appreciated.


You want to show:
In the book, the author argue by contradiction, assuming that the statement is false. Thus:
Of course $u,f$ might depends on $C$. Since it's true for all $C$, by choosing $C = k, k\in \mathbb N$, you come up with $u_k, f_k$ as stated in the book.