lim (x) as x->inf - lim (x) as x->inf