lim x-> 4