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