Problem

Problem

Suppose x1=tan⁡−12>x2>x3>…x_1 = \tan^{-1} 2 > x_2 > x_3 > \dots are the real numbers satisfying sin⁡(xn+1−xn)+2−(n+1)⋅sin⁡xn⋅sin⁡xn+1=0\sin(x_{n+1} - x_n) + 2^{-(n+1)} \cdot \sin x_n \cdot \sin x_{n+1} = 0 for all n>1n > 1 and l=lim⁡n→∞xnl = \lim_{n \to \infty} x_n , the value of [4l][4l] is ..... (where [⋅][\cdot] denotes greatest integer function).

Browse the problem library