lim    x  =  oo x -> oo