lim x=>inf of x/x