lim(4) as x->infinity