so the sequence \( \{b_n\} \) is strictly decreasing as long as \( b_n > 0 \).