b_n \geq b_{n+1}, \forall n \in \mathbb{N}