I found a proof of this that states, "the hypothesis of this test guarantee that the subsequence is an increasing sequence that is bounded above, while the subsequence is a decreasing sequence that is bounded below."

Then,

I don't understand why the inequality holds in the second line and leads to the 3rd. Why is it guaranteed to be increasing?

Thanks