a_{n+2}=a_n(a_{n+1}+1) then (a_n)^n |a_{a_n}
Source: Saint Petersburg MO 2020 Grade 11 Problem 6
May 7, 2020
number theory
Problem Statement
The sequence is given as a_1=1, a_2=2 \;\;\; \text{and} \;\;\;\; a_{n+2}=a_n(a_{n+1}+1) \forall n\geq 1
Prove that is divisible by for .