Per quel che può servire... Ti credo, Ev. Ma tu credi
a me: non l'ho toccato neanch'io (il codice)!

Nella modifica a cui ti riferisci sostituivo semplicemente una x con una y, avendo scritto a un certo punto dei calcoli y/(y+z) anziché y/(x+z). Sia come sia, mi rendo conto adesso di aver comunque applicato Jensen nel verso sbagliato. Ok, stasera a letto senza cena (np, visto che nell'ultima settimana ho preso ben 2 kg, gkgkgk). Rimedio subito (altrimenti chi vi sente...)!
---------------------------
Wlog, sia x+y+z = 1. Allora \mbox{LHS} = \sum_{\mbox{cyc}} \sqrt{\frac{x}{1-x}} \geq \sum_{\mbox{cyc}} 2x = 2, siccome a \ge 4a^2(1-a), se 0 < a < 1, con uguaglianza sse a = 1/2. Da qui segue che la maggiorazione indicata è pure stretta, perché x, y, z non possono valere tutti contemporaneamente 1/2.