Referring to my previous question: Two theorems of existence of a minimizer in a Hilbert space.
I am trying to prove that the coercivity of the functional allow us to skip the hypothesis of boundness on the set $C$.
Could someone please give me a refernece or help me with the proof?
Thank you in advance!