Zorn's lemma
The proof easily follows from Zorn's lemma applied to the set of all monotone partial sections to formula_2 :