MathDB
Moldova JTST 2019 P2

Source:

April 19, 2019
combinatorics

Problem Statement

The numeric sequence (an)n1(a_n)_{n\geq1} verifies the relation an+1=n+2n(an1)a_{n+1} = \frac{n+2}{n} \cdot (a_n-1) for any nNn\in N^*.Show that anZa_n \in Z for any nNn\in N^* ,if a1Za_1\in Z.