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