x, y ∈ ℝ: prova che (x+y) ln(x+y) > x ln(x) + y ln(y)