Ok credo che manchi un valore assoluto, ovvero: [latex:16e8lmki]\cos&#40;x&#41;u_xu_y\geq -|u_xu_y|[/latex:16e8lmki]. Dopodichè la disuguaglianza usata sul prodotto delle derivate parziali va bene anche in modulo.