Let ${b_n}$ be a sequence of real numbers defined by $b_1=1,b_2=0$, and $b_{n+2}=b_{n+1}+{b_n\over n^2}$. Prove that the sequence converges.
My solution: ${b_1}=1,b_2=0,b_3=1,b_4=1,b_5={10\over 9},...$
The sequence is increasing for $n\ge 4$, and I claim that the sequence is bounded above by 2.
Proof by induction: assume that $b_3<2,b_4<2,...b_{n-1}<2$, then $b_n-b_4=(b_n-b_{n-1})+(b_{n-1}-b_{n-2})+...+(b_5-b_4)={b_{n-2}\over (n-2)^2}+{b_{n-3}\over (n-3)^2}+...+{b_3\over 3^2} <2({1\over (n-2)^2}+{1\over (n-3)^2}+...+{1\over 3^2}) <2({\pi^2\over 6}-1-{1\over 4})<2({1\over 2})=1$
Hence $b_n<2$. By the monotone convergence theorem the sequence converges.
My question here is that the Basel identity that I used was not mentioned in my analysis course, so I wonder if anyone here could offer an alternative approach? Very much thanks!