The definition of sequence (bn) indicates that bn−bn−2=an−an−2+bn−1 for all n≥3. Therefore bn−bn−2=an−1+bn−1, i.e., bn=an−1+bn−1+bn−2.
Notice that the left-hand inequality 31<n⋅anbn holds for n=2 and n=3 as 2a2b2=2a2a2+b1=2a2a1+a2>2a2a2=21>31 and 3a3b3=3a3a3+b2=3(a1+a2)2(a1+a2)=32>31.
Now assume that n≥4 and that the statement is true for n−1 and n−2. Then bn=an−1+bn−1+bn−2>an−1+31(n−1)an−1+31(n−2)an−2=31n(an−1+an−2)+32(an−1−an−2)>31nan, where the last inequality holds as an−1=an−2+an−3>an−2.
By induction we get that bn>31nan for all n≥2.
Now notice that the right-hand inequality n⋅anbn<1 holds for n=3 and n=4 as 3a3b3=32<1 and 4a4b4=4a4a4+b3+b1=4a4a4+a3+a2+a1<1.
Let n≥5 and assume that the statement is valid for n−1 and n−2. Then bn=an−1+bn−1+bn−2<an−1+(n−1)an−1+(n−2)an−2=n(an−1+an−2)−2an−2<nan.
By induction, bn<nan holds for all n≥3.