lim x->infinity 0*x