¿Y cómo podría probarlo? ¿Puedes apoyarme con una pista?
(Approximate) Translation by mentor -- And how could it be proven? Can you lead me to a track?
While I was preparing for an integrals contest, I had a doubt about the following integral, I tried several substitutions but nothing worked.I would appreciate your support for this beautiful integral.
$$ \int\limits_{0}^{1/2} \cos(1-\cos(1-\cos(...(1-\cos(x))...) \ \mathrm{d}x$$