migliorata dim lemma approx