Dokaži da je među bilo koja četiri broja iz intervala ⟨0,π2⟩\left\langle 0, \dfrac{\pi}{2} \right\rangle⟨0,2π⟩ moguće odabrati dva broja, nazovimo ih xxx i yyy, tako da vrijedi
8cosxcosycos(x−y)+1>4(cos2x+cos2y).8 \cos x \cos y \cos (x - y) + 1 > 4 \left(\cos^2 x + \cos^2 y\right).8cosxcosycos(x−y)+1>4(cos2x+cos2y).