lim (Ceiling[x]) as x->0