For an initial value x 0 ∈ [ 0 , π 2 ] {\displaystyle {}x_{0}\in [0,{\frac {\pi }{2}}]} , we consider the sequence defined by the recursive relation