MathNet 2006 — Part 04 Question 143

Prove that for any real numbers $x$ and $y$, both taken on the segment $[0; \frac{\pi}{2}]$, the inequality
$$
\cos x + \cos y + |\cos(x + y)| \ge 1
$$
holds.