# 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

Then .

**Proof:** Take any . Then there is such

Thus, is an upper bound on the set . Because is the least upper bound, .
**End of Proof.**