MathDB
limit of arctan^n(x)

Source: VJIMC 1995 2.4

November 25, 2021
limitsreal analysistrigonometry

Problem Statement

Let {xn}n=1\{x_n\}_{n=1}^\infty be a sequence such that x1=25x_1=25, xn=arctan(xn1)x_n=\operatorname{arctan}(x_{n-1}). Prove that this sequence has a limit and find it.