Условное неравенство

[Rak so dna]

Для действительных $a,b,c$ верно

$$ a^2+b^2+c^2+abc\leq4,~c^2<4 $$

Докажите, что

$$ab+bc+ca-\frac{a+b+c-1}{2}\cdot abc\le 2$$