b_n \leq \prod_{k=0}^n e^{a_k} = e^{s_n}, \forall n\in \mathbb{N}