(lim x