Why is there $u_n\in W^{1,p}(\Omega )$ s.t. $\int_\Omega u_n=0, \|u_n\|_{L^p}=1$ and $\|\nabla u_n\|_{L^p}\to 0$? Let $p\in [1,\infty [$. I want to prove that $$\forall u\in W^{1,p}(\Omega ): \int_\Omega u=0, \ \ \|u\|_{L^p}\leq C\|\nabla u\|_{L^p}.$$
In the proof the say : suppose it's not true. Then,  $$\exists (u_n)\subset  W^{1,p}(\Omega ): \int_{\Omega }u_n=0,\|u_n\|_{L^p}=1\quad \text{and}\quad \|\nabla u_n\|_{L^p}\to 0,$$
but I don't understand why such a sequence exist. 
 A: Think of the inequality as
$$ \frac{ \Vert u \Vert_p }{ \Vert \nabla u \Vert_p } \le C. $$
If there is no $C$ such that this holds, it means the ratio takes on arbitrarily large values on the specified domain $\{ u : \int u = 0 \};$ i.e. for all $n$ we can find $f_n$ such that $\Vert f_n \Vert_p \ge n \Vert \nabla f_n \Vert_p$. Normalizing these functions by defining $u_n = f_n / \Vert f_n \Vert_p$ we get a sequence satisfying $\Vert u_n \Vert_p = 1$ and $\Vert \nabla u_n \Vert_p \le \frac 1n\to0.$
A: You want to prove that:
$$
\exists C \ \forall u \in W^{1,p} \Big(\int u = 0 \Rightarrow \|u\|_{L^p} \le C\|\nabla u\|_{L^p}\Big). 
$$
You want to prove that by contradiction. The negation of the previous statement is:
$$
\forall C \ \exists u_C \in W^{1,p} \Big(\int u_C = 0 \ \land \|u_C\|_{L^p} > C\|\nabla u_C\|_{L^p}\Big). 
$$ 
Therefore if you assume that, you can take $C = n$ for every $n = 1, 2, \dots$ and you can also assume $\|u_n\|_{L^p} =1$ (otherwise you can renormalize $u_n$ ).  
Therefore picking $C = n$ and after renormalising $u_n$ you have:
$$
1 > n \| \nabla u_n \|_{L^p}.
$$ 
thus
$$
\| \nabla u_n \|_{L^p} < \frac{1}{n}.
$$
