MathNet 2010 — Phần 01 Câu hỏi 55

Cho $a, b$ là số thực với $0 \le a, b \le 1$. Chứng minh bất đẳng thức $$
\sqrt{a^3 b^3} + \sqrt{(1-a^2)(1-ab)(1-b^2)} \le 1.
$$ G. Baron, Vienna