Certamente è corretto dire che la Lagrangiana è strettamente convessa nella coppia (s,p) in [latex:xxibivj4][0,+\infty&#41;\times\mathbb{R}[/latex:xxibivj4] perché somma di due funzioni strettamente convesse della variabile p e della variabile s, rispettivamente (btw, come si dimostra questo fatto?). Si noti che ho parlato di convessità nella coppia e che s=0 è incluso. Questo basta per entrambe le conclusioni.

Quello che non va bene è fare gli scrupolosi che affermano la convessità solo in [latex:xxibivj4]&#40;0,+\infty&#41;\times\mathbb{R}[/latex:xxibivj4] (si noti l'esclusione di s=0) e poi concludono perché u(x) (il punto di minimo prodotto dal metodo diretto) &quot;banalmente&quot; <!-- s:wink: --><img src="{SMILIES_PATH}/icon_wink.gif" alt=":wink:" title="Wink" /><!-- s:wink: --> non si annulla.