b_n>s_n, \forall n\in \mathbb{N}