Regular_Variation.Lemmas_Regular_Variation