cos(0.8)>1-((0.8)/2)+((0.8)^4/(24))