Poincaré inequality

For u ∈ W^{1,p}_0(Ω), Ω bounded: ||u||_p ≤ C(Ω) ||∇u||_p. Basis of variational methods.