Zu einem Startwert x 0 ∈ [ 0 , π 2 ] {\displaystyle {}x_{0}\in [0,{\frac {\pi }{2}}]} sei eine Folge rekursiv durch