lim (1/x) as x->infinity