b_{n+1} \geq b_{n+2}