UA-UMO 1997 Problem 112

Prove that among any four distinct numbers from the interval $(0,\frac{\pi}{2})$ there are two, say $x,y,$ such that:

$8 \cos x \cos y \cos (x-y)+1>4(\cos ^2 x+\cos ^2 y).$