Problem

Source: Estonia IMO TST 2018 p10

Tags: algebra, Sequence, recurrence relation, inequalities



A sequence of positive real numbers a1,a2,a3,... satisfies an=an1+an2 for all n3. A sequence b1,b2,b3,... is defined by equations b1=a1 , bn=an+(b1+b3+...+bn1) for even n>1 , bn=an+(b2+b4+...+bn1) for odd n>1. Prove that if n3, then 13<bnnan<1