lim (1/x) from x to inf