Dokaži da za sve realne brojeve aa, bb, cc vrijedi 13(a+b+c)2a2+b2+c2+2(ab+1).\frac{1}{3}(a + b + c)^2 \leqslant a^2 + b^2 + c^2 + 2(a - b + 1).