Problem

Source: Czech-Polish-Slovak Junior Match 2015, Individual p3 CPSJ

Tags: inequalities, algebra



Real numbers $x, y$ satisfy the inequality $x^2 + y^2 \le 2$. Orove that $xy + 3 \ge 2x + 2y$