Задача № 3169

Доказательство неравенств
Сложность: medium

Условие задачи

Доказать, что $4y-25x^2-4y^2-30x-7 \leqslant 3$ для любых $x$ и $y$. Указать значения $x$ и $y$, при которых достигается равенство.