I suppose that’s the limit value of repeatedly taking the cosine of any value and then the cosine of that iterating up to infinity. Sounds easy enough to check

I suppose that’s the limit value of repeatedly taking the cosine of any value and then the cosine of that iterating up to infinity. Sounds easy enough to check, and easy enough to prove, if the hunch proves right.