cos x \leq 4/5