Let (an)n=0∞ be a sequence of real numbers such that a0=0 and
a_{n+1}^3=a_n^2-8 \text{for} n=0,1,2,…
Prove that the following series is convergent:
n=0∑∞∣an+1−an∣.Proposed by Orif Ibrogimov, National University of Uzbekistan
real analysiscollege contestimc2018