Comparing Fixpoints of Sequences
Lemma: Let be a lattice and let and for be sequences such that for each there exists such that . Suppose that there exist and (e.g. if is a complete lattice) such that
Proof: Take any . Then there is such
Thus, is an upper bound on the set . Because is the least upper bound, . End of Proof.