Personalmente dall'Eulero differenziale più qualche mini osservazione ho dedotto che la funzione fosse non decrescente, dopodichè ho fatto la radice e ho esplicitato il minimo direzionale. Poi, per l'unicità, dato che un altro eventuale minimo globale doveva soddisfare l'equazione di Eulero e quindi essere non decrescente, ho dedotto l'unicità tramite una disuguaglianza... mi son perso qualcosa?

Edit: Eulero in forma Erdmann. E poi mi sono espresso male, non &quot;un altro eventuale&quot; ma &quot;un eventuale&quot;.