lim x->1+ ceiling(x)