lim floor(x+1) as x->3