lim x -> inf 1/x