<!-- s:shock: --><img src="{SMILIES_PATH}/icon_eek.gif" alt=":shock:" title="Shocked" /><!-- s:shock: -->  <!-- s:shock: --><img src="{SMILIES_PATH}/icon_eek.gif" alt=":shock:" title="Shocked" /><!-- s:shock: --> Boh, a me sembra tutto molto più semplice, e non serve nemmeno mettere un segno meno davanti. 

Basta prendere una successione suppizzante, osservare che è limitata in [latex:2waez4th]H^1[/latex:2waez4th] per colpa o merito del vincolo, quindi per immersione compatta ammette una sotto-successione convergente in [latex:2waez4th]L^3[/latex:2waez4th], e per continuità del resto dedurre che il limite è proprio un punto di massimo cercato. Praticamente è la solita dimostrazione di Weierstrass.