MathNet 2010 — Part 01 Question 55

Let $a, b$ be real numbers with $0 \le a, b \le 1$. Prove the inequality
$$
\sqrt{a^3 b^3} + \sqrt{(1-a^2)(1-ab)(1-b^2)} \le 1.
$$
G. Baron, Vienna