Introduce upper and lower bounds of for lambda
Rewrite Lemma 2.1 in a more general way