cos x \geq 4/5