A me sembra corretto. Ma quindi ogni volta che [latex:2fqu0753]u_0[/latex:2fqu0753] soddisfa (E), (J+) , (L+) e l'eccesso è sempre [latex:2fqu0753]\ge0[/latex:2fqu0753], allora possiamo dire che [latex:2fqu0753]u_0[/latex:2fqu0753] è punto di minimo globale?