If \(\displaystyle \sum_{n=1}^\infty a_n \) diverges and \(0\leq a_n\leq b_n\) for all \(n\), which of the following statements must be true?