2.2 Formal Treatment of Limits