MathNet 2026 — Part 05 Question 156

Suppose $x$, $y$ are non-negative real numbers such that $x + y \le 1$. Prove that
$$
8xy \le 5x(1-x) + 5y(1-y),
$$
and determine the cases of equality.