MathDB
A sequence satisfying linear recurrence and limit.

Source: Vietnam MO 1984 P2

March 20, 2011
limittrigonometryalgebra unsolvedalgebra

Problem Statement

The sequence (un)(u_n) is defined by u1=1,u2=2u_1 = 1, u_2 = 2 and un+1=3unun1u_{n+1} = 3u_n - u_{n-1} for n2n \ge 2. Set vn=k=1narccot ukv_n =\sum_{k=1}^n \text{arccot }u_k. Compute limnvn\lim_{n\to\infty} v_n.